ถ้า/แล้ว — แบบทดสอบตรรกะแบบมีเงื่อนไข
ฝึกฝนตรรกะของเงื่อนไข ถ้า/แล้ว (P → Q) 45 ปัญหา แบ่งออกเป็น 3 ระดับ: ระดับพื้นฐานครอบคลุมตารางค่าความจริงสำหรับ P→Q (ความจริงโดยปริยาย, กรณีที่เป็นเท็จเพียงกรณีเดียว), Modus Ponens, Modus Tollens และเหตุผลที่การยืนยันผลลัพธ์ (Affirming the Consequent) และการปฏิเสธเหตุ (Denying the Antecedent) ไม่สมเหตุสมผล ระดับกลางเพิ่มเติมเรื่อง Contrapositive, Converse, Inverse, Biconditional (P↔Q), ความสมมูลของ Disjunction (¬P∨Q) และ Hypothetical Syllogism ระดับสูงครอบคลุมเงื่อนไขแบบลูกโซ่, การนิเสธของเงื่อนไข (¬(P→Q) = P∧¬Q), Tautologies, การวิเคราะห์ค่าความจริงที่ซับซ้อน และกรณีสุดขอบ
วิธีเล่น ถ้า / แล้ว
- 1
เรียนรู้ตารางค่าความจริง
ตารางค่าความจริงในห้องรับรองเป็นพื้นฐานของทุกสิ่ง P→Q จะเป็นเท็จในเพียงกรณีเดียว: เมื่อ P เป็นจริง และ Q เป็นเท็จ ในกรณีอื่นๆ ทั้งหมด — รวมถึงเมื่อ P เป็นเท็จ — เงื่อนไขจะเป็นจริง 'ความจริงโดยปริยาย' นี้ (เหตุที่เท็จทำให้เงื่อนไขเป็นจริง) เป็นแนวคิดที่ขัดกับสัญชาตญาณมากที่สุดสำหรับผู้เริ่มต้น
- 2
จดจำกฎการอนุมาน
Modus Ponens (P→Q, P, ∴Q) และ Modus Tollens (P→Q, ¬Q, ∴¬P) เป็นกฎที่สมเหตุสมผล Denying the Antecedent (P→Q, ¬P, ∴¬Q) และ Affirming the Consequent (P→Q, Q, ∴P) เป็นเหตุผลวิบัติที่ไม่สมเหตุสมผล ระดับพื้นฐานทดสอบทั้งสี่อย่าง
- 3
ฝึกฝนรูปแบบที่สมมูลกัน
ระดับกลางทดสอบ 4 รูปแบบที่เกี่ยวข้อง: Contrapositive (¬Q→¬P, สมมูลกับต้นฉบับ), Converse (Q→P, ไม่สมมูล), Inverse (¬P→¬Q, ไม่สมมูล), และ Biconditional (P↔Q, เป็นจริงเมื่อ P และ Q ตรงกันเท่านั้น) นอกจากนี้: P→Q ≡ ¬P∨Q คือความสมมูลของ Disjunction
- 4
จัดการกรณีขั้นสูง
คำถามระดับสูงสำรวจ: Hypothetical Syllogism แบบลูกโซ่ (A→B→C→D ให้ A→D); สิ่งที่เราสามารถระบุได้หากทราบว่า P→Q เป็นเท็จ (P=T, Q=F); Tautologies เช่น (P→Q)∨(Q→P); และการนิเสธ ¬(P→Q) = P∧¬Q สิ่งเหล่านี้ครอบคลุมเนื้อหาจากวิชาคณิตศาสตร์ไม่ต่อเนื่องและหลักสูตรตรรกะที่เป็นทางการ
คุณสมบัติหลัก
45 ปัญหา แบ่งออกเป็น 3 ระดับ
ระดับพื้นฐาน (15 ข้อ): ตารางค่าความจริงฉบับสมบูรณ์สำหรับ P→Q พร้อมทั้ง 4 แถว; การระบุเพียงกรณีเดียวที่เป็นเท็จ (P=T, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); เหตุผลที่ Denying the Antecedent และ Affirming the Consequent ไม่สมเหตุสมผล; และความจริงโดยปริยาย (เหตุที่เท็จ = เป็นจริงเสมอ) ระดับกลาง (15 ข้อ): Contrapositive (¬Q→¬P), Converse (Q→P), และ Inverse (¬P→¬Q); คู่ที่สมมูลกันเชิงตรรกะ; Biconditional (P↔Q); ความสมมูลของ Disjunction (P→Q ≡ ¬P∨Q); การนิเสธของเงื่อนไข; และ Hypothetical Syllogism ระดับสูง (15 ข้อ): เงื่อนไขแบบลูกโซ่; Tautologies; การทราบว่า P→Q เป็นเท็จจะบังคับให้ P=T และ Q=F; การรวมเงื่อนไขเพื่อพิสูจน์ Biconditional; การระบุ Q จากทั้ง P→Q และ ¬P→Q; และความหมายเชิงตรรกะของ P→P
ห้องรับรองตารางค่าความจริงแบบโต้ตอบ
ห้องรับรองแสดงตารางค่าความจริงที่สมบูรณ์สำหรับ P→Q พร้อมค่าความจริงที่เข้ารหัสสี — ชิปสีเขียวสำหรับ TRUE, สีแดงสำหรับ FALSE — และไฮไลท์แถวเดียวที่ให้ผลลัพธ์เป็น FALSE สิ่งนี้ทำหน้าที่เป็นข้อมูลอ้างอิงที่คงที่และสอนกลไกหลักก่อนเริ่มแบบทดสอบ
การลงสีตัวเลือกเชิงความหมาย
ช่องคำตอบที่เขียนว่า TRUE จะมีสีเขียวอ่อน และช่องที่เขียนว่า FALSE จะมีสีแดงอ่อน แม้ก่อนเลือก เพื่อให้ตรงกับความหมายเชิงความหมาย สิ่งนี้สร้างความเชื่อมโยงระหว่างป้ายกำกับค่าความจริงและความหมายของมัน แทนที่จะถือว่าทุกตัวเลือกมีลักษณะเหมือนกัน
สัญกรณ์ตรรกะแบบ Monospace
คำถามและคำอธิบายใช้สัญกรณ์ตรรกะมาตรฐาน: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴ แบบอักษร Monospace ทำให้โครงสร้างตรรกะสามารถสแกนได้และสะท้อนถึงวิธีที่เงื่อนไขปรากฏในคณิตศาสตร์ไม่ต่อเนื่อง, วิทยาการคอมพิวเตอร์ และส่วนการให้เหตุผลที่เป็นทางการของ SAT/LSAT
คำถามที่พบบ่อย
ทำไม 'ถ้าเท็จ แล้วอะไรก็แล้วแต่' ถึงเป็นจริง?
สิ่งนี้เรียกว่าความจริงโดยปริยาย เงื่อนไข 'ถ้า P แล้ว Q' คือคำสัญญา: 'เมื่อใดก็ตามที่ P เกิดขึ้น Q จะเกิดขึ้น' ถ้า P ไม่เคยเกิดขึ้น (P เป็นเท็จ) คำสัญญานั้นจะไม่เคยถูกทดสอบ — และคำสัญญาที่ยังไม่ถูกทดสอบจะไม่สามารถละเมิดได้ ดังนั้นเงื่อนไขจึงเป็นจริงตามหลักการทางเทคนิค สิ่งนี้อาจรู้สึกแปลก แต่ก็สอดคล้องเชิงตรรกะ: เหตุที่เท็จไม่สามารถละเมิดเงื่อนไขได้เลย
อะไรคือความแตกต่างระหว่าง contrapositive, converse และ inverse?
ต้นฉบับ: ถ้า P แล้ว Q (P→Q). Contrapositive: ถ้าไม่ Q แล้วไม่ P (¬Q→¬P) — สมมูลกับต้นฉบับ. Converse: ถ้า Q แล้ว P (Q→P) — ไม่สมมูล. Inverse: ถ้าไม่ P แล้วไม่ Q (¬P→¬Q) — ไม่สมมูล (แต่สมมูลกับ converse). เคล็ดลับการจำ: ต้นฉบับและ Contrapositive สมมูลกัน; Converse และ Inverse สมมูลกันเอง
Modus Ponens คืออะไร?
Modus Ponens ('การยืนยันเหตุ'): P→Q, P, ∴Q. หากเงื่อนไขเป็นจริงและเหตุเป็นจริง ผลลัพธ์ต้องเป็นจริง ตัวอย่าง: 'ถ้าฝนตก ดินจะเปียก ตอนนี้ฝนตก ดังนั้น ดินเปียก' นี่คือรูปแบบการอนุมานเชิงนิรนัยที่พื้นฐานที่สุดและสมเหตุสมผลที่สุด
Modus Tollens คืออะไร?
Modus Tollens ('การปฏิเสธผลลัพธ์'): P→Q, ¬Q, ∴¬P. หากเงื่อนไขเป็นจริงและผลลัพธ์เป็นเท็จ เหตุต้องเป็นเท็จ ตัวอย่าง: 'ถ้าฝนตก ดินจะเปียก ตอนนี้ดินไม่เปียก ดังนั้น ฝนไม่ตก' สิ่งนี้สมเหตุสมผลเพราะเงื่อนไขจะถูกละเมิด (P=T, Q=F) หาก P เป็นจริง
ทำไม 'การยืนยันผลลัพธ์' ถึงไม่สมเหตุสมผล?
การยืนยันผลลัพธ์: P→Q, Q, ∴P ไม่สมเหตุสมผล แม้ว่าเงื่อนไขจะเป็นจริงและ Q เป็นจริง P ก็อาจเป็นเท็จ — Q อาจเกิดจากสาเหตุอื่น ตัวอย่าง: 'ถ้าฝนตก ดินจะเปียก ดินเปียก ดังนั้น ฝนตก' ไม่สมเหตุสมผล — ดินอาจเปียกจากสปริงเกลอร์ เงื่อนไขไม่ได้บอกว่าฝนเป็นสาเหตุเดียวที่ทำให้ดินเปียก
การคิดคะแนนทำงานอย่างไร?
คำตอบที่ถูกต้องจะได้ 10 คะแนน (ระดับพื้นฐาน), 15 คะแนน (ระดับกลาง) หรือ 20 คะแนน (ระดับสูง) คำตอบที่ถูกต้องต่อเนื่องจะเพิ่มโบนัสสาย 5 คะแนนต่อคำตอบหลังคำตอบแรก คำตอบที่ผิดจะรีเซ็ตสายเป็นศูนย์