Page 16 - ตรรกศาสตร์เบื้องต้น
P. 16
ถ้า รูปแบบ ( 1 ∧ 2 ∧ 3 ∧ … ∧ ) → เป็นสัจนิรันดร์
แสดงว่า การอ้างเหตุผลนี้สมเหตุสมผลถ้า รูปแบบ
( 1 ∧ 2 ∧ 3 ∧ … ∧ ) → ไม่เป็นสัจนิรันดร์ แสดงว่า
การอ้างเหตุผลนี้ ไม่สมเหตุสมผล
ตัวอย่าง จงตรวจสอบว่าการอ้างเหตุผลต่อไปนี้สมเหตุสมผลหรือไม่
เหตุ 1. p → q
2. p
ผล q
วิธีท า ขั้นที่ 1 ใช้ ∧ เชื่อมเหตุเข้าด้วยกัน และใช้ → เชื่อมส่วนที่เป็นเหตุกับ
ผล จะได้รูปแบบของประพจน์คือ [( p → q ) ∧ p] → q
ขั้นที่ 2 ตรวจสอบรูปแบบของประพจน์ที่ได้ว่าเป็นสัจนิรันดร์หรือไม่
