Arithmetik, elementare Algebra und elementare Funktionen (Kühnke): Fortschrittsliste: Skript: Logik (I)

Skript: Logik (I)

Vorbemerkung
Verknüpfungen von Aussagen

Negation
Konjunktion
Alternative
Implikation
Zum Begriff der "logischen Folgerung"
Äquivalenz

Übersicht: Wahrheitstafel der klassischen Aussagenverknüpfungen
Wahrheitstafeln von zusammengesetzten Aussagen
Gleichwertige Aussagen
Tautologien
Zur Implikation (Alternative Ersetzung)
Zur Implikation (Kontraposition)
Gesetze zum logisch gleichwertigen Umformen von Aussagen

Negation einer Konjunktion
Negation einer Alternative