Page 7 - ตรรกศาสตร์เบื้องต้น
P. 7
การสร้างตารางค่าความจริง
ก าหนด , , เป็นประพจน์ที่ไม่ได้ก าหนดค่าความจริงมา
ให้ จะเรียกประพจน์ที่มีตัวเชื่อมว่า รูปแบบประพจน์
เช่น ~ , ∧ , → , ( ∨ ) ↔
เป็นต้น
ในการหาค่าความจริงของรูปแบบประพจน์ จะต้อง
พิจารณาค่าความจริงที่เป็นไปได้ของประพจน์ย่อยทุกกรณี
โดยการสร้างตารางค่าความจริง
n
จ านวนกรณีที่พิจารณา = 2 กรณี
เมื่อ n คือ จ านวนประพจน์ย่อยของรูปแบบประพจน์นั้น
