Bi-Konditional

definiert in: Menge/ Nicht-axiomatische Mengenlehre

Die Bedeutung des logischen Junktors genau dann,wenn 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“. "p ↔ q" bedeutet "p genau dann, wenn q" oder "p dann und nur dann, wenn q".

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

→ Junktor   → Konjunktion   → Adjunktion   → Konditional