A proposition is a statement that can be evaluated to either true or false, but not both
e.g:
| statement | proposition |
|---|---|
| ”the sun rises in the east” | ✅ |
| 1+1 = 3 | ✅ |
| x+1=2 | ❌ |
| Go out and play | ❌ |
- ↑↓ pour naviguer
- ↵ pour ouvrir
- ⟶ pour sélectionner
- ⌘ ⌥ ↵ pour ouvrir dans un panneau
- esc pour rejeter
⌘ '
raccourcis clavier
annotations
tutorial 1.