6.2.2 Aussagenvariablen und einfache Wahrheitstafeln

Aussagenvariablen und einfache Wahrheitstafeln


Aussagenvariablen


Aussagenlogik: Einfache Wahrheitstafel


Junktoren

Ein Junktor ist eine logische Verknüpfung von einer oder mehreren Aussagen in der Aussagenlogik. Hier eine unvollständige Liste von Junktoren:

  • Negation ()
  • Konjunktion ()
  • Disjunktion ()
  • Implikation ()
  • Replikation ()
  • Äquivalenz ()

Auf den folgenden Seiten finden sich erläuternde Videos zu den hier genannten Junktoren. Darüber hinaus gibt es noch einige weitere Junktoren, die an dieser Stelle aber nicht näher betrachtet werden.