Se kaj nur se
Aspekto
Enmatematiko,filozofiokajlogiko,se kaj nur seaŭ 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ŭ ≡.