Skip to content
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

Create an account to start Review foundations

You can start now whatever you have done before. Nothing on this page has to be finished first. You can pause anytime; your progress saves automatically.

The lessons

Any lesson can be opened now, in any order. The plan recommends one; it does not lock the rest.

  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