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 | B → A | (A → B) ∧ (B → A) | A ↔ B |
| T | T | T | T | T | T |
| T | F | F | T | F | F |
| F | T | T | F | F | F |
| F | F | T | T | T | T |
| | 1. | A ↔ B | |
| | 2. | A | |
| | 3. | B | ↔Elim: 1,2 |
| | 1. | A ↔ B | |
| | 2. | B | |
| | 3. | A | ↔Elim: 1,2 |
How do I intro ↔?
| A | B | A ↔ B |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
| A | B | A → B |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
| |||||||||||||||
| |||||||||||||||
| | 7. | A ↔ B | |||||||||||||
| |||||||||||||||
| | 4. | A → B | |||||||||||||