การตรวจสอบความถูกต้องของการให้เหตุผลแบบนิรนัยโดยใช้แผนภาพเรียกว่า

เฉลยอธิบาย

แผนภาพแวนน์ (Venn Diagram) เป็นวิธีการแสดงความสัมพันธ์ระหว่างเซตต่างๆ ใช้ตรวจสอบความสมเหตุสมผลของการให้เหตุผลแบบนิรนัย โดยเฉพาะสำหรับประพจน์สัญชาตญาณประเภท A, E, I, O ตัวเลือก B, C, D เป็นแผนภาพอื่นที่ไม่ใช้ในการวิเคราะห์ตรรกศาสตร์เบื้องต้น