Se kaj nur se

El Vikipedio, la libera enciklopedio
Jump to navigation Jump to search

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ŭ ≡.