การพิสูจน์การอ้างเหตุผลแบบเงื่อนไข โดยการใช้กฎ 8 ข้อ

• ตรรกประพจน์ (Propositional Logic) คือทฤษฎีที่ใช้ในการวิเคราะห์ความสมเหตุสมผลของการอ้างเหตุผล โดยใช้ประพจน์ (propositions) เป็นหน่วยพื้นฐาน
• ประพจน์เดี่ยว (Simple Propositions): คือประพจน์ที่ไม่มีตัวเชื่อมต่อ
• ประพจน์ผสม (Complex Propositions): คือประพจน์ที่มีการใช้ตัวเชื่อมต่อ (5 ชนิด) ได้แก่:
  1. นิเสธ (Negation): ~p (ไม่จริงที่ว่า p)
  2. และ (Conjunction): p • q (p และ q)
  3. หรือ (Disjunction): p ∨ q (p หรือ q)
  4. ถ้า…แล้ว… (Conditional): p → q (ถ้า p แล้ว q)
  5. เมื่อและเฉพาะเมื่อ (Biconditional): p ≡ q (p เมื่อและเฉพาะเมื่อ q)
• ตารางค่าความจริง (Truth Tables) ใช้เพื่อตรวจสอบค่าความจริงของตัวเชื่อมต่อ
• การสร้างสัญลักษณ์: ใช้ตัวอักษร (เช่น A, B, C) แทนประพจน์ และใช้สัญลักษณ์เชื่อมต่อเพื่อสร้างประพจน์ผสม
• ตัวเชื่อมต่อหลัก: คือตัวเชื่อมต่อที่มีบทบาทสำคัญในประพจน์ผสม

สิ่งที่ต้องรู้และทำได้: - เข้าใจความแตกต่างระหว่างประพจน์เดี่ยวและประพจน์ผสม - เข้าใจตัวเชื่อมต่อทั้ง 5 ชนิดและตารางค่าความจริงของแต่ละตัว - สามารถเขียนประโยคในภาษาปกติให้อยู่ในรูปของสัญลักษณ์ได้