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

จงตรวจสอบว่าประพจน์ที่กำหนดสมเหตุสมผลหรือไม่

       เหตุ : ถ้ากระต่ายเป็นสัตว์เลี้ยงลูกด้วยนมแล้วกระต่ายจะออกลูกเป็นตัว

                กระต่ายไม่ได้ออกลูกเป็นตัว

       ผล : กระต่ายไม่เป็นสัตว์เลี้ยงลูกด้วยนม

วิธีทำ 

    ให้ p แทน กระต่ายเป็นสัตว์เลี้ยงลูกด้วยนม

         q  แทน กระต่ายจะออกลูกเป็นตัว

    เหตุ : p → q

              ~ q

       ผล : ~p

จะได้รูปแบบของประพจน์ [(p → q) ∧  ~ q ] → ~p

ตรวจสอบความเป็นสัจนิรันดร์ของ [(p → q) ∧  ~ q ] → ~p ดังนี้

จากแผนภาพ จะเห็นว่า เมื่อให้ [(p → q) ∧  ~ q ] → ~p เป็นเท็จ 

จะพบว่า ค่าความจริงของประพจน์ย่อมขัดแย้งกัน ทำให้รูปแบบของประพจน์ 

[(p → q) ∧  ~ q ] → ~p เป็นเท็จ 

จะได้ว่า รูปแบบของประพจน์ [(p → q) ∧  ~ q ] → ~p   เป็นสัจนิรันดร์

ดังนั้น รูปแบบของประพจน์ [(p → q) ∧  ~ q ] → ~p  นี้ สมเหตุสมผล

 ฝึกสมอง ลองความไว กับแอป QMath เล่นง่าย สนุกกับการเรียนรู้ สามารถดาวน์โหลดแอปได้ที่ลิงค์ด้านล่างเลยนะคะ

https://play.google.com/store/apps/details?id=com.pro45.qmath