Definition der Junktoren
über Wahrheitswertverteilung

["gdw": genau dann, wenn]

A ("nicht A") ist wahr gdw A falsch ist;

A /\ B ("A und B") ist wahr gdw A und B beide wahr sind;

A \/ B ("A oder B") ist wahr gdw mindestens einer von A und B wahr ist;

A <-> B ("A genau dann, wenn B") ist wahr gdw A und B beide wahr oder beide falsch sind;

A -> B ("wenn A, dann B") ist falsch gdw A wahr ist und B falsch ist,

d.h. A -> B ist wahr gdw mindestens eine der folgenden Bedingungen erfüllt ist:

1. A ist falsch, oder 2. B ist wahr