Cosa significa ⇔
Ciascuna affermazione implica l'altra: «se e solo se».
Scrivere P ⇔ Q, dove P e Q sono affermazioni, dice che P implica Q e Q implica P. In logica si chiama bicondizionale o equivalenza logica: le due sono vere esattamente negli stessi casi, quindi l'una può sostituire l'altra in un ragionamento.
Verificalo prima di usarlo. x = 2 ⇒ x² = 4 è vero, ma x = 2 ⇔ x² = 4 è falso nei reali, perché anche x = −2 al quadrato dà 4. Scrivi ⇔ solo quando valgono entrambe le direzioni.
Da dove viene il simbolo del «se e solo se»?
È nato dalla logica matematica del Novecento.
L'archivio di storia della matematica MacTutor registra la freccia semplice ↔ e quella doppia ⇔ per l'equivalenza logica in 1933 and 1954, cioè rispettivamente nel 1933 e nel 1954. La forma a doppio tratto è attribuita a Bourbaki, un gruppo di matematici per lo più francesi che pubblicava sotto uno pseudonimo collettivo.
Il suo compito era condensare la frase «se e solo se» (abbreviata «sse» per iscritto) in un solo segno. Il doppio tratto si abbina a ⇒, la freccia dell'implicazione a senso unico: la coppia si legge come «un verso» contro «entrambi i versi».
Formale e da dimostrazione; segnala che entrambe le direzioni sono state verificate, non un andirivieni informale.
Non scrivere ⇔ se hai dimostrato una sola direzione.
Cosa significa quando qualcuno te lo invia
Interpretazioni: 2Non confonderlo con
4Idee di combinazione
3Domande frequenti
3⇔ è uguale al segno di uguale?
No. ⇔ unisce affermazioni vere nelle stesse condizioni; = dice che due oggetti matematici hanno lo stesso valore.
Posso usare ⇔ per un'implicazione?
No. Usa ⇒ o → quando è provata solo la conseguenza da sinistra a destra. ⇔ richiede anche l'inversa.
Perché ⇔ appare come un quadratino?
Manca nel tuo font. As of 2026, Unicode indica la mancanza di supporto nel font come causa comune di quadratini, punti interrogativi o spazi vuoti; passa a un font che contenga la freccia.
Come digitare ⇔
⇔\21D4Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.