se e solo se

se e solo se

se e solo se locuzione, talvolta abbreviata con sse (e nella letteratura internazionale con iff, che sta per if and only if), utilizzata nel linguaggio naturale per indicare l’→ equivalenza logica fra due enunciati, espressa dal connettivo logico detto → doppia implicazione o bicondizionale, rappresentato con il simbolo ⇔. Dati due enunciati A e B, l’enunciato A ⇔ B si legge «A se e solo se B» ed è vero quando A e B sono entrambi veri o entrambi falsi; è, quindi, logicamente equivalente all’enunciato composto (A ⇒ B) ∧ (B ⇒ A) ottenuto come congiunzione dell’implicazione A ⇒ B e della sua inversa B ⇒ A. Esso esprime simbolicamente l’affermazione «A è condizione necessaria e sufficiente per B» (→ condizione necessaria e sufficiente).