การใช้แผนภาพเวนน์-ออยเลอร์ ในการตรวจสอบความสมเหตุสมผล

การใช้แผนภาพเวนน์-ออยเลอร์ ในการตรวจสอบความสมเหตุสมผล

  เราจะวาดแผนภาพตามสมมติฐานที่เป็นไปได้ แล้วพิจารณาว่าแผนภาพแต่ละกรณีแสดงผลสรุปตามที่สรุปไว้หรือไม่ ถ้าทุกกรณีแสดงผลตามที่กหนด แสดงว่าสมเหตุสมผล ถ้ามีแผนภาพที่ไม่แสดงผลตามที่สรุปไว้ การสรุปนั้นไม่สมเหตุสมผล โดยจะใช้การอ้างเหตุผลโดยตรรกบทของตรรกศาสตร์เข้ามาตรวจสอบ ข้อความที่ใช้อ้างเหตุผลมีอยู่ 4 แบบหลักๆ คือ (1-4) และอีก 2 แบบเพิ่มเติม คือ (5-6) ดังนี้