Se kaj nur se

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

En matematiko, filozofio kaj logiko, se kaj nur se aŭ mallonge "s.n.s" estas ligesprimo de du asertoj. La frazo "P estas necesa kaj sufiĉa por Q" havas la saman signifon kiel "Q s.n.s. P".

Formule oni indikas tiun rilaton per la signoj ⇔ aŭ ≡.