S.n.s.

El Vikipedio

En matematiko, filozofio kaj logiko, s.n.s. estas mallongigo de se kaj nur se. La frazo "P estas necesa kaj sufiĉa por Q" havas saman signifon kiel "Q s.n.s. P".

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

Ĉi tiu artikolo ankoraŭ estas ĝermo. Vi povas helpi pluredakti ĝin post klako al la butono redakti. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton). Eble ĉi tiu ŝablono estas tro ĝenerala. Bonvolu konsideri aldonante plian parametron kategoriigante la ĝermon.