| Zeichen | Tastenkombination1 | Bedeutung |
| ¬ | Option+Shift+1 | Negation: Es ist nicht |
| → | Command+Control+Leer2 | Folgepfeil: wenn … dann |
| ⊢ | Command+Control+Leer | Ableitungsoperator: daraus folgt, also (auch Behauptungszeichen, bei Frege) |
| ∧ | Command+Control+Leer | Konjunktion: (logisches) und |
| ∨ | Command+Control+Leer | Disjunktion: (einschließendes) oder |
Letzte Änderung V. 0.08
- Alle Tastenkombinationen beziehen sich auf eine Mac-Tastatur.
↩︎ - Es öffnet sich der Textexpander. Das entsprechende formallogische Element muss aus den zur Verfügung stehenden Symbolen ausgewählt gewählt werden. ↩︎
Kommentar verfassen