608351
Description
Mind Map by Maximilian Gillmann, updated more than 1 year ago
|
Created by Maximilian Gillmann
almost 11 years ago
|
|
Logik
- Aussagen
- Ist eindeutig wahr oder falsch
- Aussagenform a(x)
- Ist eindeutig wahr oder falsch
- Quantoren
- Existenz-Aussage
- Es existert ein x
Annotations:
- \[\exists x : a (x)\]
- Es existiert genau ein x
Annotations:
- \[\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
Annotations:
- \[\forall x : a(x)\]
- Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
- Negation
- Existenz-Aussage
- Verknüpfungen
- AND
Annotations:
- \[\wedge\]
- OR
Annotations:
- \[\vee\]
- XOR
Annotations:
- xor
- WENN-DANN
Annotations:
- \[a \rightarrow b\]
- Wenn wahr, Implikation
Annotations:
- \[a \Rightarrow b\]
- GENAU-DANN-WENN
Annotations:
- \[a \leftrightarrow b\]
- Wenn wahr, Äquivalenz
Annotations:
- \[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
Want to create your own Mind Maps for free with GoConqr? Learn more.