418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 1

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
  1. Simplification.
  2. Disjunctive syllogism.
  3. Modus ponens.
  4. Addition.
  5. Hypothetical syllogism.