Skip to content →

Tag: Principle of Explosion

ex falso quodlibet

เมื่อสัปดาห์ก่อน xkcd (webcomic by geek for geeks) มีตอนชื่อ Principle of Explosion ซึ่งก็พอจะขำอยู่บ้างแม้ยังไม่เข้าใจว่า Principle of Explosion นี่มันคืออะไรก็ตาม

มาวันนี้ ก็เจอทวีตของ @eig เรื่อง Principle of distributivity จะใช้ไม่ได้ถ้าเป็น quantum logic ก็เลยกดเข้าไปอ่านหน้าวิกิพีเดียที่ให้มา และก็อ่านต่อเนื่องไปจนเจอเรื่องหลักที่ว่ามาข้างต้น เรื่อง quantum logic ยังไม่เข้าใจเท่าไหร่ แต่ Principle of Explosion ก็เกรียนดี

อ้างตามคำในการ์ตูนช่อง หลักมันก็มีอยู่ว่า If you assume contradictory axioms, you can derive anything.

ว่าแล้วก็ขอลองดูบ้าง (disclaimer: หลักการนี้ใช้ classical logic)

  1. ข้อตั้ง: @masatha เป็นผู้ชาย และ @masatha ไม่เป็นผู้ชาย (สมมติว่าข้อความนี้เป็นจริง)
  2. @masatha เป็นผู้ชาย (จาก 1)
  3. @masatha ไม่เป็นผู้ชาย (จาก 1)
  4. @masatha เป็นผู้ชาย หรือไม่ก็ @Zerothman ไม่หล่อ (จาก 2)
  5. @Zerothman ไม่หล่อ (จาก 3 และ 4)
  6. ดังนั้น ถ้า @masatha เป็นผู้ชาย และ @masatha ไม่เป็นผู้ชายแล้ว แสดงว่า @Zerothman ไม่หล่อ

เย่

2 Comments