การอ้างเหตุผล

การอ้างเหตุผลมีข้ออ้างหรือบทตั้งหลายข้อและข้อสรุปหนึ่งข้อ รูปแบบจะสมเหตุสมผลเมื่อไม่มีกรณีใดที่บทตั้งทั้งหมดจริงแต่ข้อสรุปเท็จ

ตัวเชื่อม $\land$, $\lor$, $\to$, $\neg$ และการอ่านค่าความจริงของประพจน์ผสม

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

1. การทดสอบความสมเหตุสมผลของการอ้างเหตุผล

• โครงสร้างการอ้างเหตุผล:
  • เขียนในรูป “บทตั้ง 1, บทตั้ง 2, ..., บทตั้ง $n$ $\therefore$ ข้อสรุป” หรือตรวจสอบรูปประพจน์ $(p_1 \land p_2 \land \dots \land p_n) \to C$
  • นิยามความสมเหตุสมผล (Validity): รูปแบบจะสมเหตุสมผล (valid) ก็ต่อเมื่อ ไม่มี ชุดค่าความจริงใดที่ทำให้บทตั้งทุกข้อเป็นจริงพร้อมกัน แล้วข้อสรุปเป็นเท็จ
  • การหักล้าง (Counterexample): หากพบชุดค่าความจริงแม้เพียงชุดเดียวที่ทำให้บทตั้งทั้งหมดเป็นจริง แต่ข้อสรุปเป็นเท็จ รูปแบบนั้นถือว่าไม่สมเหตุสมผล (invalid) ทันที และชุดค่านั้นคือตัวอย่างค้าน

• จุดสังเกตสำคัญในภาพ:
  • เกณฑ์ตัดสิน: ภาพแสดงเงื่อนไขชี้ขาดของการตรวจสอบ — แขนงสีแดงระบุว่าหากพบแถวที่บทตั้งทุกข้อจริงแต่ข้อสรุปเท็จ จะสรุปว่า "ไม่สมเหตุสมผล" ส่วนแขนงสีเขียวระบุว่าเมื่อตรวจครบทุกชุดค่าความจริงแล้วไม่พบกรณีขัดแย้งดังกล่าว รูปแบบจะ "สมเหตุสมผล"
  • ข้อพึงระวัง: ความสมเหตุสมผลเป็นการตรวจสอบความสัมพันธ์เชิงรูปแบบของโครงสร้างทางตรรกะเท่านั้น ไม่ได้รับประกันว่าบทตั้งในความเป็นจริงของโลกจะเป็นจริงหรือไม่ หากต้องการข้อสรุปที่เชื่อถือได้จริงในเชิงเนื้อหา ต้องพิจารณาความจริงเชิงประจักษ์ของบทตั้งร่วมด้วยเสมอ

2. รูปแบบการอนุมานที่ถูกต้องและรักษาความจริง

• รูปแบบการอนุมานที่สมเหตุสมผลและพบบ่อย:

• Modus Ponens (การยืนยันบทตั้ง):
  • โครงสร้าง: เหตุ 1 คือ $p \to q$, เหตุ 2 คือ $p$ $\therefore$ ข้อสรุป $q$
  • กลไก: เมื่อทราบว่า $p$ นำไปสู่ $q$ และเหตุการณ์ $p$ เกิดขึ้นจริง จึงสรุปได้แน่นอนว่า $q$ ย่อมเกิดขึ้น
• Modus Tollens (การปฏิเสธผลตาม):
  • โครงสร้าง: เหตุ 1 คือ $p \to q$, เหตุ 2 คือ $\neg q$ $\therefore$ ข้อสรุป $\neg p$
  • กลไก: เมื่อทราบว่าถ้าเกิด $p$ แล้วต้องตามด้วย $q$ แต่ปรากฏว่า $q$ ไม่เกิดขึ้น จึงสรุปตัดทิ้งได้ว่า $p$ ย่อมไม่เกิดขึ้น
• Disjunctive Syllogism (การคัดออกจากการเลือก):
  • โครงสร้าง: เหตุ 1 คือ $p \lor q$, เหตุ 2 คือ $\neg p$ $\therefore$ ข้อสรุป $q$
  • กลไก: เมื่อรู้ว่าต้องมีอย่างน้อยหนึ่งประพจน์ที่เป็นจริง และ $p$ ถูกหักล้างไปแล้ว ประพจน์ $q$ ที่เหลือจึงต้องเป็นจริงโดยปริยาย
  • หลักคิด: การเข้าใจเหตุผลเชิงตรรกะในแต่ละขั้นตอนสำคัญกว่าการท่องจำชื่อเฉพาะของกฎ

• จุดสังเกตสำคัญในภาพ:
  • การเปรียบเทียบสามรูปแบบ: ภาพสรุป 3 แผงแสดงโครงสร้างมาตรฐานที่สมเหตุสมผล: Modus Ponens ($p\to q, p \therefore q$), Modus Tollens ($p\to q, \neg q \therefore \neg p$), และ Disjunctive Syllogism ($p\lor q, \neg p \therefore q$) พร้อมสัญลักษณ์สามจุด ($\therefore$) กำกับหน้าข้อสรุปอย่างเป็นระบบ

3. ข้อผิดพลาดเชิงตรรกะที่พบบ่อย (Fallacy)

• ระวังอย่าสับสนระหว่างเงื่อนไขเดิมกับเงื่อนไขกลับ:

• การยืนยันผลตาม (Affirming the Consequent):
  • โครงสร้างผิด: เหตุ 1 คือ $p \to q$, เหตุ 2 คือ $q$ $\therefore$ สรุปผิดว่า $p$
  • ความผิดพลาด: จาก $p \to q$ และทราบว่า $q$ เกิดขึ้น ยังสรุปไม่ได้ว่า $p$ ต้องเกิด เพราะ $q$ อาจเกิดขึ้นจากสาเหตุอื่น
• การปฏิเสธบทตั้ง (Denying the Antecedent):
  • โครงสร้างผิด: เหตุ 1 คือ $p \to q$, เหตุ 2 คือ $\neg p$ $\therefore$ สรุปผิดว่า $\neg q$
  • ความผิดพลาด: จาก $p \to q$ และทราบว่า $p$ ไม่เกิด ยังสรุปไม่ได้ว่า $q$ จะไม่เกิด เพราะ $q$ อาจเป็นจริงได้จากเงื่อนไขอื่น
  • ทั้งสองรูปแบบนี้อาจมีกรณีที่บทตั้งเป็นจริงทั้งหมดแต่ข้อสรุปเป็นเท็จ จึงถือว่าไม่สมเหตุสมผล

• จุดสังเกตสำคัญในภาพ:
  • ตัวอย่างค้าน (Counterexample): แผงซ้ายแสดงกรณี $p = \text{F}, q = \text{T}$ ทำให้ $p \to q$ จริงและ $q$ จริง แต่ข้อสรุป $p$ เป็นเท็จ; แผงขวาแสดงกรณีเดียวกันทำให้ $p \to q$ จริงและ $\neg p$ จริง แต่ข้อสรุป $\neg q$ เป็นเท็จ ชี้ให้เห็นชัดเจนว่าทั้งสองรูปแบบไม่สมเหตุสมผล
  • วิธีทดสอบโต้แย้ง: การสร้างสถานการณ์สมมุติที่ $q$ เป็นจริงจากปัจจัยอื่น หรือ $q$ ยังคงจริงแม้ $p$ จะไม่เกิด จะช่วยให้เห็นได้ทันทีว่าข้อมูลที่โจทย์ให้ไม่ได้บังคับข้อสรุป

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

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