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

การอ้างเหตุผล (Logical Argument) คือ การสรุปผลจากชุดของข้อความที่ยอมรับว่าเป็นจริง เพื่อตรวจสอบว่าข้อสรุปนั้นมีน้ำหนักและความน่าเชื่อถือภายใต้กฎของตรรกศาสตร์หรือไม่

องค์ประกอบหลักประกอบด้วย เหตุ (Premises) หรือข้อความที่กำหนดให้เป็นจริง และ ผล (Conclusion) ซึ่งเป็นข้อความที่สรุปออกมาจากเหตุเหล่านั้น

A Logical Argument is a derivation of a conclusion from a set of statements accepted as true, used to determine if a claim holds firm under the rules of logic.

It consists of two key components: the Premises (the initial statements given as truth) and the Conclusion (the final statement derived from them).

⚖️ ความสมเหตุสมผล / Validity

การอ้างเหตุผลจะ "สมเหตุสมผล" (Valid) เมื่อเรายอมรับว่า "ถ้าเหตุทุกข้อเป็นจริง แล้วผลต้องเป็นจริงเสมอ"

วิธีการตรวจสอบทางตรรกศาสตร์คือต้องพิสูจน์ว่าประพจน์ต่อไปนี้เป็น สัจนิรันดร์:

$[(P_1 \land P_2 \land ... \land P_n) \to C]$

An argument is Valid if, assuming all premises are true, the conclusion MUST be true.

Mathematically, we verify validity by checking if the following is a Tautology:

$[(P_1 \land P_2 \land ... \land P_n) \to C]$

📋 ขั้นตอนการตรวจสอบ / 3-Step Process:

Step 1: จัดรูป
เชื่อมเหตุด้วย "และ" ($\land$) แล้วเชื่อมกับผลด้วย "ถ้า...แล้ว" ($\to$)

Step 2: พิสูจน์
เช็คว่าเป็นสัจนิรันดร์หรือไม่ (มักใช้การหาข้อขัดแย้ง)

Step 3: สรุป
ถ้าเป็นสัจนิรันดร์ = สมเหตุสมผล

Step 1: Formulate
Join premises with AND ($\land$) and connect to conclusion with IF-THEN ($\to$).

Step 2: Verify
Check if it's a Tautology (often via contradiction).

Step 3: Conclude
If it's a Tautology = Valid Argument.

📝 ตัวอย่างการตรวจสอบ / Verification Examples

Example 1

Modus Ponens (การแยกออก)

เหตุ: 1. $p \to q$, 2. $p$

ผล: $q$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land p] \to q$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

เกิดข้อขัดแย้งที่ประพจน์ $q$ (เป็นทั้ง F และ T) ประพจน์จึงเป็นสัจนิรันดร์

Contradiction found at $q$ (both F and T). Therefore, it is a Tautology.

3 สรุปผล / Conclusion

✓ สมเหตุสมผล (Valid)

Example 2

Modus Tollens (การคัดค้าน)

เหตุ: 1. $p \to q$, 2. $\sim q$

ผล: $\sim p$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land \sim q] \to \sim p$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

เกิดข้อขัดแย้งที่ประพจน์ $p$ (เป็นทั้ง F และ T) ประพจน์จึงเป็นสัจนิรันดร์

Contradiction found at $p$ (both F and T). Therefore, it is a Tautology.

3 สรุปผล / Conclusion

✓ สมเหตุสมผล (Valid)

Example 3

Hypothetical Syllogism (การถ่ายทอด)

เหตุ: 1. $p \to q$, 2. $q \to r$

ผล: $p \to r$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land (q \to r)] \to (p \to r)$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

เกิดข้อขัดแย้งที่ประพจน์ $r$ (เป็นทั้ง F และ T) ประพจน์จึงเป็นสัจนิรันดร์

Contradiction found at $r$ (both F and T). Therefore, it is a Tautology.

3 สรุปผล / Conclusion

✓ สมเหตุสมผล (Valid)

Example 4

Disjunctive Syllogism (การเลือกออก)

เหตุ: 1. $p \lor q$, 2. $\sim p$

ผล: $q$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \lor q) \land \sim p] \to q$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

เกิดข้อขัดแย้งที่ประพจน์ $q$ (เป็นทั้ง F และ T) ประพจน์จึงเป็นสัจนิรันดร์

Contradiction found at $q$ (both F and T). Therefore, it is a Tautology.

3 สรุปผล / Conclusion

✓ สมเหตุสมผล (Valid)

Example 5

Affirming the Consequent (ความผิดพลาดจากการยอมรับผล)

เหตุ: 1. $p \to q$, 2. $q$

ผล: $p$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land q] \to p$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

ไม่พบข้อขัดแย้ง: เมื่อ $p=F$ และ $q=T$ จะทำให้เหตุทุกข้อเป็นจริงแต่ผลเป็นเท็จ

No Contradiction: When $p=F$ and $q=T$, all premises are true but the conclusion is false.

3 สรุปผล / Conclusion

✕ ไม่สมเหตุสมผล (Invalid / Fallacy)

Example 6

Denying the Antecedent (ความผิดพลาดจากการปฏิเสธเหตุ)

เหตุ: 1. $p \to q$, 2. $\sim p$

ผล: $\sim q$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land \sim p] \to \sim q$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

ไม่พบข้อขัดแย้ง: เมื่อ $p=F$ และ $q=T$ จะทำให้เหตุทุกข้อเป็นจริงแต่ผลเป็นเท็จ (เพราะ $\sim q$ กลายเป็นเท็จ)

No Contradiction: When $p=F$ and $q=T$, all premises are true but the conclusion is false (since $\sim q$ is false).

3 สรุปผล / Conclusion

✕ ไม่สมเหตุสมผล (Invalid / Fallacy)

Example 7

Improper Transitive (ความผิดพลาดของการถ่ายทอดที่ผิด)

เหตุ: 1. $p \to q$, 2. $r \to q$

ผล: $p \to r$

1 นำเหตุและผลมาจัดรูป / Formatting

$[(p \to q) \land (r \to q)] \to (p \to r)$

2 ตรวจสอบความเป็นสัจนิรันดร์ / Tautology Check

ไม่พบข้อขัดแย้ง: หาก $p=T, q=T, r=F$ จะทำให้เหตุทุกข้อเป็นจริงแต่ผลเป็นเท็จ

No Contradiction: If $p=T, q=T, r=F$, then all premises are true but the conclusion is false.

3 สรุปผล / Conclusion

✕ ไม่สมเหตุสมผล (Invalid / Fallacy)

คำศัพท์ที่น่าสนใจ / Key Vocabulary

คำศัพท์ตรรกศาสตร์ภาษาอังกฤษ พร้อมรากศัพท์

คำศัพท์	รากศัพท์ / Root	ความหมาย / Meaning
Validity	validus (strong)	ความสมเหตุสมผล · เมื่อเหตุจริงนำไปสู่ผลที่เป็นจริงเสมอ
Premises	praemittere (to send before)	เหตุ · ข้อความตั้งต้นที่กำหนดให้หรือยอมรับว่าเป็นจริง
Conclusion	concludere (to end)	ผล · ข้อความสุดท้ายที่เป็นข้อสรุปที่ได้มาจากเหตุ
Fallacy	fallacia (deception)	เหตุผลวิบัติ · การสรุปที่ผิดไปจากหลักความถูกต้องทางตรรกะ