608351
Beschreibung
Mindmap von Maximilian Gillmann, aktualisiert more than 1 year ago
|
Erstellt von Maximilian Gillmann
vor etwa 10 Jahre
|
|
Logik
- Aussagen
- Ist eindeutig wahr oder falsch
- Aussagenform a(x)
- Ist eindeutig wahr oder falsch
- Quantoren
- Existenz-Aussage
- Es existert ein x
Anmerkungen:
- \[\exists x : a (x)\]
- Es existiert genau ein x
Anmerkungen:
- \[\exists! x : a(x)\]
- Gegenteil: Für alle x gilt die gegenteilige Aussage
- Es existert ein x
- All-Aussage
- Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
- Für alle x gilt die Aussage
Anmerkungen:
- \[\forall x : a(x)\]
- Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
- Negation
- Existenz-Aussage
- Verknüpfungen
- AND
Anmerkungen:
- \[\wedge\]
- OR
Anmerkungen:
- \[\vee\]
- XOR
Anmerkungen:
- xor
- WENN-DANN
Anmerkungen:
- \[a \rightarrow b\]
- Wenn wahr, Implikation
Anmerkungen:
- \[a \Rightarrow b\]
- GENAU-DANN-WENN
Anmerkungen:
- \[a \leftrightarrow b\]
- Wenn wahr, Äquivalenz
Anmerkungen:
- \[a \Leftrightarrow b\]
- De Morgan
- AND
- Beweisarten
- Direkter Beweis
- a impliziert b
- a impliziert b
- Indirekter Beweis
- Nicht b impliziert nicht a
- Nicht b impliziert nicht a
- Beweis durch Widerspruch
- Nicht b und a stellt ein Widerspruch dar
- Nicht b und a stellt ein Widerspruch dar
- Direkter Beweis
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.