ผลต่างระหว่างรุ่นของ "418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 2"

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
แถว 1: แถว 1:
== ข้อย่อย 1 ==
+
# ไม่สมเหตุสมผล
จากโจทย์จะได้ว่าข้อความที่ต้องการพิสูจน์อยู่ในรูป <math> p \rightarrow q </math>
+
# สมเหตุสมผล ใช้ Modus ponens.
จากเทคนิคการพิสูจน์จะได้ว่า
+
# สมเหตุสมผล ใช้ Modus tollens.
 +
# สมเหตุสมผล ใช้ Disjunctive syllogism.
 +
# สมเหตุสมผล ใช้ Modus tollens.

รุ่นแก้ไขเมื่อ 09:03, 25 มิถุนายน 2552

  1. ไม่สมเหตุสมผล
  2. สมเหตุสมผล ใช้ Modus ponens.
  3. สมเหตุสมผล ใช้ Modus tollens.
  4. สมเหตุสมผล ใช้ Disjunctive syllogism.
  5. สมเหตุสมผล ใช้ Modus tollens.