การอ้างเหตุผลโดยใช้แผนภาพของเวนน์-ออยเลอร์

ออยเลอร์ เป็นนักคณิตศาสตร์ชาวสวิสเซอร์แลนด์ มีชีวิตอยู่ระหว่าง ค.ศ. 1707 - 1783 เขาได้

ค้นพบวิธีการตรวจสอบความสมเหตุสมผลโดยใช้รูปปิด เช่น วงกลม ซึ่งเป็นวิธีการที่ง่าย และรวดเร็ว โดย

มีหลักการดังนี้

1. เขียนวงกลมแต่ละวงแทนเซตแต่ละเซต

2. ถ้ามี 2 เซตสัมพันธ์กันก็เขียนวงกลมให้คาบเกี่ยวกัน

3. ถ้าเซต 2 เซตไม่สัมพันธ์กันก็เขียนวงกลมให้แยกห่างจากกัน