608351
Descripción
Mapa Mental por Maximilian Gillmann, actualizado hace más de 1 año
|
Creado por Maximilian Gillmann
hace alrededor de 10 años
|
|
Logik
- Aussagen
- Ist eindeutig wahr oder falsch
- Aussagenform a(x)
- Ist eindeutig wahr oder falsch
- Quantoren
- Existenz-Aussage
- Es existert ein x
Nota:
- \[\exists x : a (x)\]
- Es existiert genau ein x
Nota:
- \[\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
Nota:
- \[\forall x : a(x)\]
- Gegenteil: Es existiert ein x für das die gegenteilige Aussage gilt
- Negation
- Existenz-Aussage
- Verknüpfungen
- AND
Nota:
- \[\wedge\]
- OR
Nota:
- \[\vee\]
- XOR
Nota:
- xor
- WENN-DANN
Nota:
- \[a \rightarrow b\]
- Wenn wahr, Implikation
Nota:
- \[a \Rightarrow b\]
- GENAU-DANN-WENN
Nota:
- \[a \leftrightarrow b\]
- Wenn wahr, Äquivalenz
Nota:
- \[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
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.