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
A ⫤⊨ ¬¬A
is logically equivalent to
i.e. has the same truth table as
| A | ¬A | ¬¬A |
| T | F | T |
| F | T | F |
| ¬(A ∧ B) | ⫤⊨ | (¬A ∨ ¬B) | ||
| ¬(A ∨ B) | ⫤⊨ | (¬A ∧ ¬B) | ||
| A → B | ⫤⊨ | ¬A ∨ B | ||
| ¬(A → B) | ⫤⊨ | ¬(¬A ∨ B) | ⫤⊨ | A ∧ ¬B |
| A | B | A ∧ B | ¬(A ∧ B) | ¬A | ¬B | ¬A ∨ ¬B |
| T | T | T | F | F | F | F |
| T | F | F | T | F | T | T |
| F | T | F | T | T | F | T |
| F | F | F | T | T | T | T |
| A | B | ¬(A ∨ B) | ¬A ∧ ¬B |
| T | T | F | F |
| T | F | F | F |
| F | T | F | F |
| F | F | T | T |
| A | B | A → B | ¬A ∨ B |
| T | T | T | T |
| T | F | F | F |
| F | T | T | T |
| F | F | T | T |
| A | B | A → B | ¬(A → B) | ¬(¬A ∨ B) | A ∧ ¬B |
| T | T | T | F | F | F |
| T | F | F | T | T | T |
| F | T | T | F | F | F |
| F | F | T | F | F | F |