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ŭ ≡.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.