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