Next: Mengen
Up: Grundlagen
Previous: Grundlagen
Contents
Index
Subsections
Logik & Aussagen
Eine Aussage ist ein Sprachkonstrukt, das entweder wahr oder
falsch ist. Für zwei Aussagen und exisiteren Verknüpfungen.
Verknüpfungen
- Negation
: nicht
- Implikation
: aus folgt
- Äquivalenz
: und sind äquivalent
(gleichwertig)
- Konjunktion
: und
- Disjunktion
: oder
- Antivalenz (XOR)
: entweder oder
- Kommutativgesetz
- Assoziativgesetz
- Distributivgesetz
- De Morgan
- doppelte Negation
- neutrales Element
- inverses Element
Quantoren
- Allquantor
für alle gilt
.
z.B.
- Existenzquantor
es gibt (mindestens) ein für das
gilt.
z.B.
-
oder
es gibt genau ein für das
gilt.
- Negation
Es gilt für alle ,
Es gibt nicht ein
, für das nicht gilt.
- Widerspruch
- (Symbol: Blitz (\lightning)) heißt eine
zusammengesetzte Aussage, wenn sie immer falsch ist.
z.B.
- Tautologie
- heißt eine Aussage, wenn sie immer wahr ist.
z.B.
Next: Mengen
Up: Grundlagen
Previous: Grundlagen
Contents
Index
Marco Möller 17:26:01 24.10.2005