Mathe an der Universität Hildesheim

1

2

1

2

Ausdruck, von dem eindeutig bestimmt ist, ob er wahr oder falsch ist

Seien A und B zwei Aussagen.
(a) Die Aussage (¬A) ist die Aussage „Die Aussage A ist falsch.“ und heißt die Negation von A.

(b) Die Aussage (A ∧ B) ist die Aussage „Die Aussage A ist wahr und die Aussage B ist wahr.“ und heißt die Konjunktion von A und B.

(c) Die Aussage (A ∨ B) ist die Aussage „Mindestens eine der beiden Aussagen A und B ist wahr.“ Sie heißt die (nicht-exklusive) Disjunktion von A und B.

(A ⇒ B) :⇔ ((¬A) ∨ B)

(A ⇔ B) :⇔ ((A ⇒ B) ∧ (B ⇒ A))

(i) A ⇒ A (oder anders ausgedrückt, A ∨ (¬A)). (Tertium non datur.)
(ii) ((A ⇒ B) ∧ (B ⇒ C)) ⇒ (A ⇒ C). (Transitivität)
(iii) (A ∧ B) ∧ C ⇔ A ∧ (B ∧ C) und (A ∨ B) ∨ C ⇔ A ∨ (B ∨ C). (Assoziativität)
(iv) (A ∧ B) ⇔ (B ∧ A) und (A ∨ B) ⇔ (B ∨ A). (Kommutativität)
(v) A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C) und A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C). (Distributivität)
(vi) (B⇒C)⇒ ((A ∧ B) ⇒ (A ∧ C)). (Monotonie)
(vii) (¬(A ∧ B)) ⇔ ((¬A) ∨ (¬B)) und (¬(A ∨ B)) ⇔ ((¬A) ∧ (¬B)). (de Morgansche3 Regeln)
(viii) (¬(¬A)) ⇔ A. (doppelte Negation)

Für beliebige Aussagen A und B gilt
(A ⇒ B) ⇔((¬B) ⇒(¬A))

Hier nimmt man an, dass sowohl A als auch ¬B gelten, und versucht daraus eine falsche Aussage herzuleiten. Wenn dies gelingt, so können nicht A und ¬B zugleich gelten; wegen des „Tertium non datur.“ folgt daraus ebenfalls die Aussage A ⇒B

Eine Relation zwischen zwei Mengen M und N ist eine Teilmenge R ⊆ M×N. Ist (m, n) ∈ R so sagt man auch „m ist R-verwandt zu n“ und schreibt mRn.

Eine Funktion oder Abbildung ist ein Tripel (M,N, f) bestehend aus zwei Mengen M und N und einer Zuordnungsvorschrift f, die jedem m ∈ M ein eindeutiges Element f(m) ∈ N zuordnet. M heißt dann Definitionsbereich der Funktion, N heißt ihr Wertebereich und (M,N, f) heißt eine Funktion von M nach N. Die Relation 

gr(f) := {(m, n) ∈ M×N | n = f(m)} ⊆ M×N

heißt der Graph der Funktion.