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
- ⌃ k recherche
- ⌃ \ page d'accueil
- ⌃ j curius
- ⌃ b lecteur
- ⌃ g graphique
- ⌃ o opener
- ⌃ p connector
- ⌃ i mode de notes
annotations
tutorial 1.