608351
Descrição
Mapa Mental por Maximilian Gillmann, atualizado more than 1 year ago
|
Criado por Maximilian Gillmann
mais de 10 anos atrás
|
|
Logik
- Aussagen
- Ist eindeutig wahr oder falsch
- Aussagenform a(x)
- Ist eindeutig wahr oder falsch
- Quantoren
- Existenz-Aussage
- Es existert ein x
Anotações:
- \[\exists x : a (x)\]
- Es existiert genau ein x
Anotações:
- \[\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
Anotações:
- \[\forall x : a(x)\]
- Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
- Negation
- Existenz-Aussage
- Verknüpfungen
- AND
Anotações:
- \[\wedge\]
- OR
Anotações:
- \[\vee\]
- XOR
Anotações:
- xor
- WENN-DANN
Anotações:
- \[a \rightarrow b\]
- Wenn wahr, Implikation
Anotações:
- \[a \Rightarrow b\]
- GENAU-DANN-WENN
Anotações:
- \[a \leftrightarrow b\]
- Wenn wahr, Äquivalenz
Anotações:
- \[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
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.