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

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

รุ่นแก้ไขปัจจุบันเมื่อ 11:14, 25 มิถุนายน 2552

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