ตารางค่าความจริง

ตารางค่าความจริงช่วยตรวจประพจน์ผสมทุกกรณีอย่างเป็นระบบ โดยสร้างแถวให้ครบค่าความจริงของประพจน์ย่อย แล้วค่อยคำนวณตัวเชื่อมจากวงเล็บในออกมาด้านนอก

ความหมายของ $T$, $F$, $\neg$, $\land$, $\lor$, $\to$ และ $\leftrightarrow$ จากหัวข้อประพจน์และตัวเชื่อม

เข้าใจเนื้อหาและเงื่อนไข

1. มีประพจน์ย่อย n ตัว ต้องมี $2^n$ แถว

• การสร้างตารางค่าความจริงต้องแจกแจงกรณีที่เป็นไปได้ของประพจน์ย่อยให้ครบถ้วนอย่างเป็นระบบ:

• จำนวนแถวและรูปแบบ ($2^n$):
  • สูตรคำนวณแถว: ตัวแปรประพจน์ 1 ตัวมี 2 ค่าความจริงคือ $T$ (จริง) หรือ $F$ (เท็จ) ดังนั้นถ้ามีประพจน์ย่อย $n$ ตัว จะต้องมีกรณีรวมทั้งหมด $2^n$ แถว เช่น $p, q$ มี 2 ตัวแปรจึงต้องมี $2^2 = 4$ แถว ($TT, TF, FT, FF$)
  • ความสำคัญ: การตกหล่นแถวใดแถวหนึ่งไป อาจทำให้สรุปค่าความจริงผิดพลาด เช่น สรุปผิดว่าประพจน์เป็นสัจนิรันดร์หรือจริงเสมอ
• การจัดเรียงอย่างเป็นแบบแผน:
  • ลำดับสลับค่า: จัดให้ตัวแปรแรกเปลี่ยนช้ากว่า เช่น $p$ เป็น $T, T, F, F$ ส่วน $q$ สลับ $T, F, T, F$
  • การวางโครงตาราง: เติมคอลัมน์ของนิพจน์ย่อยทีละขั้นก่อนจะไปถึงคอลัมน์คำตอบสุดท้าย

• จุดสังเกตสำคัญในภาพ:
  • โครงสร้างตาราง: แถวเรียงแบบแผน 4 กรณี $TT, TF, FT, FF$
  • การสลับค่าความจริง: ช่อง $p$ รวม $T$ ไว้ 2 แถวแรกและ $F$ ไว้ 2 แถวหลัง (เปลี่ยนทุก 2 แถว) ส่วน $q$ สลับ $T, F, T, F$ ทุกแถว

2. คำนวณจากวงเล็บและส่วนย่อย

• การหาค่าความจริงของประพจน์เชิงประกอบต้องดำเนินตามลำดับโครงสร้างนิพจน์:

• ลำดับการประเมินค่า:
  • เริ่มจากชั้นใน: หาค่าของเครื่องหมายปฏิเสธ ($\neg$) และส่วนที่อยู่ในวงเล็บย่อยให้เสร็จก่อน แล้วจึงคำนวณตัวเชื่อมชั้นนอกถัดไป
  • ข้อควรระวัง: เช่น นิพจน์ $\neg p\lor q$ ต้องหาค่าความจริงของ $\neg p$ ก่อน แล้วจึงนำไปเชื่อมกับ $q$ ด้วย “หรือ” ไม่ใช่อ่านตรง ๆ จากซ้ายไปขวาโดยไม่ดูโครงสร้าง
• การเปรียบเทียบนิพจน์:
  • ใช้ตารางเดียวกัน: หากต้องการเปรียบเทียบสองนิพจน์ ให้ใส่คอลัมน์ของทั้งสองนิพจน์ไว้ในตารางเดียวกัน
  • เหตุผล: การใช้แถวเดียวกันช่วยให้มั่นใจว่ากำลังเปรียบเทียบภายใต้เงื่อนไขค่าความจริงของ $p, q$ ชุดเดียวกันอย่างแท้จริง

3. ตารางเผยแถวที่ทำให้เงื่อนไขล้มเหลว

• ตารางค่าความจริงช่วยชี้จุดขัดแย้งและยืนยันสมมูลระหว่างรูปแบบประพจน์:

• การตรวจจับกรณีเท็จและสมมูล:
  • ตัวเชื่อมถ้า...แล้ว ($p\to q$): มีค่าความจริงเป็นเท็จเพียงกรณีเดียว คือแถวที่ $p=T$ และ $q=F$ (เหตุจริงแต่ผลเท็จ)
  • การสมมูลกับ $\neg p\lor q$: นิพจน์ $\neg p\lor q$ ให้ค่าความจริงตรงกันทุกแถวกับ $p\to q$ ตารางจึงยืนยันได้อย่างชัดเจนว่าทั้งสองรูปแบบมีค่าความจริงเหมือนกันทุกกรณี
• ข้อจำกัดและข้อควรระวัง:
  • ไม่สะท้อนเหตุผลเชิงเวลา: ตารางตรวจสอบตามนิยามค่าความจริงของตัวเชื่อมทางตรรกศาสตร์ ไม่ได้แสดงความสัมพันธ์เชิงเวลาหรือสาเหตุ-ผลลัพธ์ในภาษาธรรมชาติ
  • ข้อความต้องเป็นประพจน์: หากข้อความต้นทางไม่ได้เป็นประพจน์ จะไม่สามารถสร้างตารางค่าความจริงมาตัดสินได้

• จุดสังเกตสำคัญในภาพ:
  • ภาพรวมทั้งสี่กรณี: ตารางแจกแจง $p$ และ $q$ ทั้งสี่กรณี ($TT, TF, FT, FF$) โดย $p\to q$ และ $\neg p\lor q$ ให้ผลลัพธ์เหมือนกันทุกแถว
  • แถววิกฤต (Critical Row): แถวที่ $p=T, q=F$ ถูกเน้นเป็นพิเศษ เพราะเป็นแถวเดียวที่ทำให้ $p\to q$ มีค่าความจริงเป็นเท็จ ($F$) ส่วนแถวอื่นมีค่าเป็นจริง ($T$) ทั้งหมด
  • สัญลักษณ์: $T$ แทนจริง, $F$ แทนเท็จ โดย $p\to q$ ล้มเหลวเฉพาะเมื่อเหตุเกิดแต่ผลไม่เกิด

ความรู้นี้ใช้กับโจทย์แบบไหน?

ตัวอย่างโจทย์พร้อมวิธีคิด