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 → ¬B ⊭ ¬(A → B)
is not a logical consequence of
| | A → ¬B | ||
| | ¬(A → B) |
| A | B | A → ¬B | A → B | ¬(A → B) |
| T | T | F | T | F |
| T | F | T | F | T |
| F | T | T | T | F |
| F | F | T | T | F |
A → ¬B ⊭ ¬(A → B)