Se e solo se: differenze tra le versioni

In [[matematica]], [[filosofia]], [[logica]] e nei campi tecnici che ne dipendono, si usa spesso l' espressione '''se e solo se''', o l'abbreviazione '''sse''', per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso [[valore di verità]]: se è vero il secondo allora è vero anche il primo.

&#8596;↔ <br/>

&#8660;⇔ <br/>

&#8801;≡</big></big></big></big></big> </div> Queste notazioni sono tutte equivalenti. Tuttavia, alcuni testi di [[logica matematica]] (in particolare quelli di [[logica del primo ordine]], piuttosto che quelli di [[logica proposizionale]]) fanno una distinzione tra le notazioni, in particolare tra le prime: &harr;↔, è usata come simbolo nelle formulazioni logiche, mentre &hArr;⇔ è usata nella discussione inerente queste formule (per esempio in [[metalogica]]).