Inception wrote:อาจารย์วิชาปรัชญาศึกษา กล่าวหน้าชั้นเรียนว่าวันอังคารหน้า จะมีทดสอบ
พอถึงวัน อาจารย์ ก็เดินเข้าห้องเงียบๆ และยกเก้าอี้ที่แกนั่งประจำ ไปวางบนโต๊ะหน้าห้อง
จากนั้นก็หันหน้าเข้าหากระดานดำแล้วเขียนว่า 'จงพิสูจน์ว่า ไม่มีเก้าอี้ตัวนี้ในโลก'
นักศึกษาเห็นคำถามต่างก็เหงื่อตก นึกว่า คำถามหอกอะไรของมันฟะ?
แล้วรีบก้มหน้าก้มตาเขียนกันใหญ่ แต่หลังจากนั้นเพียงแค่สองนาที
ก็มีนักศึกษาชายคนหนึ่ง เดินตัวปลิวสบายๆ เอากระดาษคำตอบไปส่ง
อาจารย์ ถึงกับอึ้ง เมื่อได้เห็นกระดาษเปล่าทั้งหน้า มีคำตอบสั้นๆแค่ว่า
...
..
.
...เก้าอี้ที่ไหนเหรอครับ?
credit : Chelseasiam.com
กำหนดให้ มีเก้าอี้ตัวนี้ = p
ในโลก = q
จากโจทย์จะได้ว่า ~p->q เป็น จริง
พิสูจน์ ทางอ้อม
1. ~p -> q กำหนดให้
2. ~(~p) ^ ~q 1,Law of Negation for Implication
3. p ^ ~q 2,Law of Double Negation
4. p และ ~q 3,นิยามตัวเชื่อม "และ"
5. q กำหนดให้
6. ~q ^ q 4,5,นิยามตัวเชื่อม "และ"
เกิดการขัดแย้ง ดังนั่น ไม่มีเก้าอี้ตัวนี้ในโลก 555555555555555555555555555555555555555+