Aussagen - Antonkriegergasse

Mathematische Aussagen (Behauptungen) können falsch oder wahr
sein.
Definition: Verknüpfung zweier Aussagen A,B
A∧B
Das Symbol ∧ steht für die UND-Verknüpfung zweier
Ausssagen.
Die Aussage A ∧ B ist genau dann wahr, wenn sowohl
die Aussage A als auch die Aussage B wahr ist
A∨B
Das Symbol ∨ steht für die ODER-Verknüpfung zweier
Aussagen.
Die Aussage A ∨ B ist genau dann wahr, wenn
mindestens eine der beiden Aussagen A und B wahr
ist(es können auch beide wahr sein).
Definition: Beziehungen zwischen den Aussagen A und B
Man schreibt A ⇒ B, wenn gilt: Wenn A wahr ist, dann ist auch B wahr.
Man schreibt A ⇔ B, wenn A ⇒ B und B ⇒ A.
Symbole der Logik:
:
gilt......
∀
„Für alle .....“ (Allquantor)
∃
„Es gibt..“;„Es existiert...“; „Es gibt mindestens ein..“
(Existenzquantor)
¬
„Nicht...“ (Verneinung einer Aussage – Negation)
⇒
wenn...,dann... („Folgepfeil“)
⇔
...genau dann,wenn.. (Äquivalenz)