Aussagenlogik

Es seien p, q, r Variable für Aussagen, die (nur) die Werte wahr (W) und falsch (F) annehmen können.

Verknüpfung von Aussagen

Verknüpfung

Symbol

Bedeutung

Negation
Konjunktion
Disjunktion
Alternative
Implikation
Äquivalenz

nicht p
p und q, sowohl p als auch q
p oder q (einschließendes ODER)
entweder q oder p (ausschließendes ODER)
wenn p, dann (so) q
p aquivalent zu p; q genau dann, wenn q

Zusammenhänge

Wahrheitswerte-tafeln

p	q
W W F F	W F W F	F F W W	F W F W	W F F F	W W W F	F W W F	W F W W	W F F W

Tautologien

Eine Aussagenverbindung heißt Tautologie, wenn jede Einsetzung eine wahre Aussage liefert.

	(Gesetz vom ausgeschlossenen Dritten)
	(Abtrennungsregel)
	(Gesetz von der doppelten Vereinigung)
	(indirkter Schluss)
	(Kettenschluss)
	(Kontraposition)