Lesezeit: 1 min Lizenz BY-NC-SA

Es gibt folgende logische Operationen:

Negation (¬)
Konjunktion (∧)
Disjunktion (∨)
Implikation (⇒)
Äquivalenz (⇔)
Sheffer-Symbol (|)
Peirce-Symbol (↓)
Der Satz vom ausgeschlossenen Dritten
De Morgansche Regeln
Verknüpfungsregeln

Kapitelübersicht:

  1. Einführung Aussagenlogik
  2. Symbolik
  3. Wahrheitstafel
  4. Logische Operationen
  5. Negation (¬)
  6. Konjunktion (∧)
  7. Disjunktion (∨)
  8. Implikation (⇒)
  9. Äquivalenz (⇔)
  10. Sheffer-Symbol (|)
  11. Peirce-Symbol (↓)
  12. Der Satz vom ausgeschlossenen Dritten
  13. De Morgansche Regeln
  14. Verknüpfungsregeln
  15. Computerlogik