Adjunktion

definiert in: Menge/ Nicht-axiomatische Mengenlehre

Die Bedeutung des logischen Junktors oder wird am übersichtlichsten erklärt mit Hilfe der folgenden Verknüpfungstafel. Hierbei sind "p" und "q" logische Aussagen; das Symbol „⊤“ steht für „wahr“, das Symbol „⊥“ steht für „falsch“.

Das logische oder wird also nicht (wie in der Umgangssprache) im ausschließenden Sinne verwendet: "p oder q" ist dann und nur dann falsch, wenn sowohl "p" als auch "q" falsche Aussagen sind. Die Aussage "nicht p" ist falsch, wenn "p" wahr ist und wahr, wenn "p" falsch ist.

→ Junktor   → Konjunktion   → Konditional   → Bi-Konditional   → Index