5. เอกสารประกอบการสอน เรื่อง การใหเหตุผล สาขาวิชาคณิตศาสตร5
รายวิชา ค 40101 คณิตศาสตรพื้นฐาน โรงเรียนมหิดลวิทยานุสรณ
การใหเหตุผลแบบนิรนัย
การใหเหตุผลแบบนิรนัย เปนการอางเหตุผลจากความรูพื้นฐานชุดหนึ่งที่ยอมรับมากอน
ความรูพื้นฐานที่ตองยอมรับมาใชอางเหตุผลนี้มีชื่อเรียกตาง ๆ กัน เชน เหตุ(premise) สมมติฐาน
(hypothesis) หรือสัจพจน(axiom หรือ postulate) วิธการสรุปความรูพื้นฐานที่ยอมรับมากอนนี้ เปนที่
นิยมใชมาตั้งแตสมัยกรีกโบราณวา 2000 ป มาแลว เชน เทลีส ใชวิธีนิรนัยพิสูจนความรูทางเรขาคณิต
ใหเปนระบบเปนเหตุผลตอเนื่องกัน
ตัวอยางที่ 6 ถาเรายอมรับวา
1. สิ่งมีชีวิตทุกชนิดตองการกินอาหาร
และ 2. คนเปนสิ่งมีชีวิต
เราจะสรุปไดวา คนตองการกินอาหาร #
จะเห็นไดวาการใหเหตุผลนี้ประกอบดวยสองสวน สวนแรกมีสองขอตกเราตองยอมรับกัน
กอน เรียกวา เหตุ หรือ สมมุติฐาน อีกสวนก็คือ ผลสรุป ซึ่งการตัดสินใจวาสรุปถูกตอก็ตอเมื่อ
สมเหตุสมผล (valid) ในการตรวจสอบความสมเหตุสมผลนั้นทําไดหลายวิธี ดั้งเดิมที่ใชกันในสมัย
โบราณ ไดแก วิธีของอริสโตเติลซึ่งในปจจุบันไดพัฒนามาใชแผนภาพแทนเซตของ เวน – ออยเลอร
ซึ่งใชสําหรับขอความที่เขียนแทนดอยแผนภาพแทนเซตได
วิธีของ เวน – ออยเลอร
วิธีของ เวน – ออยเลอร จะวาดแผนภาพใหสอดคลองกับเหตุ หรือ สมมุติฐานทุกกรณีที่
เปนไปได แลวดูวาแผนภาพแตละกรณีสอดคลองกับผลสรุปตามที่สรุปไวหรือไม ถาทุกแผนภาพ
สอดคลองกับผลสรุปตามที่สรุปไว เรากลาววาการใหเหตุผลนั้นสมเหตุสมผล แตถามีบางกรณีของ
แผนภาพไมแสดงผลสรุปตามที่สรุปไวจะกลาววาการใหเหตุผลนั้นไมสมเหตุสมผล
กอนที่จะใชแผนภาพ เซตของ เวน – ออยเลอร ชวยในการตรวจสอบความสมเหตุสมผล เรา
จะตองตกลงกันกอนวา ขอความแตละแบบจะวาดแผนภาพแสดงไดอยางไร
ให a เปนสมาชิกของเซต A
b เปนสมาชิกของเซต B
1.) a ทุกตัวเปน b 2.) ไมมี a ตัวใดเปน b
A B A B
6. เอกสารประกอบการสอน เรื่อง การใหเหตุผล สาขาวิชาคณิตศาสตร6
รายวิชา ค 40101 คณิตศาสตรพื้นฐาน โรงเรียนมหิดลวิทยานุสรณ
3.) a บางตัวเปน b (บริเวณแรเงา) 4.) a บางตัวไมเปน b (บริเวณแรเงา)
A B A B
5.) ถาไมทราบความสัมพันธระหวาง A กับ B จะเขียนแผนภาพไดหลายแบบดังนี้
A B A B
A B B A A B
ตัวอยางที่ 7 จงตรวจสอบวา การใหเหตุผลตอไปนี้สมเหตุสมผลหรือไม
สมมุติฐาน 1. คนทุกคนเปนสุนัข
2. สุนัขทุกตัวกินอาหาร
ผล 1. คนทุกคนกินอาหาร
วิธีทํา วาดภาพใหสอดคลองตามสมมุติฐานทั้งสองจะไดดังรูป
เมื่อนําผลมาตรวจสอบจะเห็นวาสอดคลอง
กับแผนภาพ ดังนั้นการใหเหตุผลนี้
คน สุนัข พวกกินอาหาร สมเหตุสมผล #
ตัวอยางที่ 8 จงตรวจสอบความสมเหตุสมผล
สมมุติฐาน 1. ลิงทุกตัวบินได
2. คนบางคนเปนลิง
ผล คนบางคนบินได
วิธีทํา วาดแผนภาพตามสมมุติฐานได 2 กรณี ดังนี้
สิ่งที่บินได สิ่งที่บินได
ลิง คน
คน ลิง