ตรรกศาสตร์ สมเหตุสมผล
 

เขียนเป็นเซต พิสูจน์ความสมเหตุสมผล

เหตุ
1. ถ้า ก เป็นจำนวนนับ แล้ว ก เป็นจำนวนเต็ม
2. ถ้า ก เป็นจำนวนเต็มแล้ว ก เป็นจำนวนตรรกยะ
3. ถ้า ก เป็นจำนวนตรรกยะแล้ว ก เป็นจำนวนจริง
4. ก ไม่เป็นจำนวนนับ หรือ ก เป็นจำนวนเฉพาะ
5. ก ไม่เป็นจำนวนจริง
ผล
ก เป็นจำนวนเฉพาะ