ข้ามไปยังเนื้อหา
Nydus Open Learning

Logic and philosophy

Logic and philosophy · Formal logic

Formal logic

Propositional notation, truth tables, validity, countermodels and bounded natural deduction.

Ages 14–18 14 lessons about 9 hours in all

คุณเริ่มได้เลยตอนนี้ ไม่ว่าจะเคยเรียนอะไรมาก่อน ไม่มีอะไรในหน้านี้ที่ต้องทำให้เสร็จก่อน หยุดพักได้ทุกเมื่อ ความก้าวหน้าของคุณบันทึกโดยอัตโนมัติ

บทเรียน

เปิดบทเรียนใดก็ได้ตอนนี้ ตามลำดับใดก็ได้ แผนการเรียนแนะนำหนึ่งบท แต่ไม่ได้ล็อกบทอื่น

  1. 1 Atomic statements
  2. 2 Connectives
  3. 3 Declared translations
  4. 4 Truth-table rows
  5. 5 Tautology and contradiction
  6. 6 Equivalence
  7. 7 Consistency
  8. 8 Entailment
  9. 9 Countermodels
  10. 10 Validity and soundness
  11. 11 Modus ponens
  12. 12 Modus tollens
  13. 13 Conditional proof
  14. 14 Proof strategy