Se kaj nur se

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

• Kategorio Se kaj nur se en la Vikimedia Komunejo (Multrimedaj datumoj)

Ĉi tiu artikolo ankoraŭ estas ĝermo. Helpu al Vikipedio plilongigi ĝin. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton). Bonvolu aldoni parametron por plibone kategoriigi la paĝon.