Aussagenlogik

Subjunktion

Die Verknüpfung zweier Aussagen p und q in der Form "WENN p, DANN q" heißt Subjunktion, wenn sie der Verküpfung (¬p) ∨ q gleichwertig ist. Als Zeichen verwendet man den Junktor → . Was bedeutet der erste Satz? Beim Weitsprung heißt es: "Wenn man übertritt, dann ist der Sprung ungültig." Die Aussage "Man tritt nicht über oder der Sprung ist ungültig" sagt dasselbe aus. Dementsprechend muss die Wahrheitstafel für die Aussage "WENN p, DANN q" mit der Wahrheitstafel "NICHT p ODER q" identisch sein. Aus der Wahrheitstafel ergibt sich, dass aus einer wahren Aussage keine falsche Aussage folgen darf.