Konjunktion

definiert in: Menge/ Nicht-axiomatische Mengenlehre

Die Bedeutung des logischen Junktors und 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“.

Die Aussage "nicht p" ist falsch, wenn "p" wahr ist und wahr, wenn "p" falsch ist.

→ Junktor   → Adjunktion   → Konditional   → Bi-Konditional   → Index