Når det ikke er spesifisert hva slags betingelse det er snakk om, menes vanligvis en tilstrekkelig betingelse, « → », der er betingelsen og er det betingete. Den nødvendige betingelsen er på en måte en tilstrekkelig betingelse som er «snudd». Dette blir tydelig når man ser at «¬ → ¬» (den nødvendige betingelsens definisjon) er ekvivalent med « ← » (eller « → »). Dette forklarer også dobbelpilen i den nødvendige og tilstrekkelige betingelsen, « ↔ »: Når og gjensidig betinger hverandre, er det snakk om en nødvendig og tilstrekkelig betingelse.