Konditional

definiert in: Menge/ Nicht-axiomatische Mengenlehre

Die Bedeutung des logischen Junktors wenn...so 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 "wenn p, so q".

Die Konditionalaussage "wenn p, so q" ist genau dann falsch, wenn "p" wahr, aber "q" falsch ist. Die Aussage "nicht p" ist falsch, wenn "p" wahr ist und wahr, wenn "p" falsch ist.

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