Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

 

Formal Proof

An argument is logically valid just if there’s no possible situation in which the premises are true and the conclusion false.

Two ways to show that an argument is logically valid:

  • truth tables
  • fitch proof (formal)
∧Elim
P1 ∧ P2
...
Pi