Aussagenlogik
Mengenlehre und Logik

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)
  1. Formel-sammlung.de
  2. Mathematik
  3. Mengenlehre und Logik
  4. Aussagenlogik