aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen
Zur Suche springen
- Identität
|
|
|
|
|
- Negation
|
|
|
|
|
- Tautologie
|
|
|
|
|
- Kontradiktion; Widerspruch
|
|
|
|
|
- Äquivalenz
|
|
|
|
|
|
|
|
|
|
- Implikation
|
|
|
|
|
|
|
|
|
|
- Disjunktion
|
|
|
|
|
|
|
|
|
|
- Konjunktion
|
|
|
|
|
|
|
|
|
|
Kommutativgesetz
|
|
|
|
|
|
|
|
Assoziativität
|
|
|
|
|
|
|
|
Distributivität
|
|
|
|
|
|
|
|
Implikation
|
|
|
|
|
Verschmelzungsgesetz
|
|
|
|
|
|
|
|
Dualität
|
|
|
|
|
|
|
|
Doppelnegation
|
|
|
|
|
Tautologie
|
|
|
|
|
|
|
|
Widerspruch
|
|
|
|
|
|
|
|
- Symbole
Logiksymbole
|
|
|
|
|
|
|
Nicht |
Folgt |
Existiert Existenzquantor |
für alle Allquantor |
gleich |
oder |
und
|
- Logik
- Variablen
- Konstanten
- Prädikate
- Funktionen
- Funktionssymbole sind spezifisch in der beschriebenen Sprache (etwa Natürliche Zahlen)
- Terme
Term
|
variabler Term |
konstanter Term
|
Variabel |
Konstante
|
Funktion(Term,Term,Term) |
keine Variablen
|
|
Primformel |
Bedingung
|
|
Gleichungen aus Termen
|
|
- R ist Prädikat
- t1…tn sind Term
|
|
Formel |
Bedingung
|
|
Primformel
|
|
F,G : Formel
|
|
- wenn vor der Variablen x kein Quantor steht ist sie frei
|
|
- Wichtige Funktionswerte
Winkel
|
|
|
|
|
|
|
|
Sinus
|
|
|
|
|
|
|
|
Kosinus
|
|
|
|
|
|
|
|
Tangens
|
|
|
|
|
nicht definiert
|
|
nicht definiert
|
- Sinussatz
- Kosinussatz
- Hyperbelfunktionen
|
|
|
|
- Kofunktionen
|
|
|
siehe auch: Vorlage:Umrechnungstabelle Trigonometrie
- Moivrescher Satz
|