Condizione necessaria e sufficiente: significato ed esempi
8 Settembre 2026 · Mario Lomele
Distinguere una condizione necessaria e sufficiente da una che è soltanto necessaria, o soltanto sufficiente, è una delle abilità che rendono più rapidi nei test di logica. La confusione fra le due è deliberata in molti quesiti, e riconoscerla è spesso l’unico lavoro richiesto.
L’implicazione
Tutto parte dalla scrittura A ⟹ B, che si legge «se A allora B». In questa relazione:
- A è condizione sufficiente per B: basta A perché valga B;
- B è condizione necessaria per A: senza B non può esserci A.
Le due affermazioni descrivono la stessa implicazione da due punti di vista. Chi le tiene insieme non sbaglia più: la premessa è sufficiente, la conseguenza è necessaria.
Un esempio che chiarisce
«Se un numero è divisibile per 4, allora è divisibile per 2.»
- essere divisibile per 4 è sufficiente per essere divisibile per 2: basta saperlo per concluderlo;
- essere divisibile per 2 è necessario per essere divisibile per 4: senza, è impossibile;
- ma non è sufficiente: 6 è divisibile per 2 e non per 4.
Condizione necessaria e sufficiente
Quando valgono entrambe le implicazioni, A ⟹ B e B ⟹ A, si scrive A ⟺ B e si dice che A è condizione necessaria e sufficiente per B. Si usano anche le espressioni «se e solo se» e «equivalente a».
Esempio: «un triangolo è equilatero se e solo se ha tre angoli di 60 gradi». Le due proprietà si implicano a vicenda e sono intercambiabili.
Le formulazioni linguistiche
La stessa implicazione A ⟹ B si può esprimere in molti modi, ed è utile riconoscerli tutti:
- se A allora B;
- A implica B;
- A è sufficiente per B;
- B è necessario per A;
- A solo se B;
- non A oppure B.
L’espressione «A solo se B» è quella che inganna di più: non significa che B implica A, ma il contrario.
La contronominale
Da A ⟹ B segue logicamente non B ⟹ non A, che si chiama contronominale ed è sempre equivalente all’implicazione di partenza.
Dalla frase «se piove la strada è bagnata» segue con certezza «se la strada non è bagnata, non piove». Sono la stessa affermazione.
Non sono invece equivalenti:
- l’inversa, B ⟹ A: «se la strada è bagnata, piove» — falsa, potrebbe essere passata l’autobotte;
- la contraria, non A ⟹ non B: «se non piove la strada non è bagnata» — ugualmente falsa.
Scambiare un’implicazione con la sua inversa è l’errore logico più diffuso e ha un nome: affermazione del conseguente.
I due ragionamenti validi
- modus ponens: da A ⟹ B e da A, si conclude B;
- modus tollens: da A ⟹ B e da non B, si conclude non A.
Tutto il resto — sapere che vale B, o che non vale A — non permette di concludere nulla sull’altra proposizione.
Esempi dai test
- «Tutti gli iscritti hanno pagato la quota.» Aver pagato è necessario per essere iscritti, non sufficiente: potrebbe aver pagato anche un non iscritto;
- «Chi supera il test viene ammesso.» Superare il test è sufficiente per l’ammissione; se ci fossero altre vie, non sarebbe necessario;
- «Solo i maggiorenni possono votare.» Essere maggiorenni è necessario per votare, ma potrebbe non bastare.
Domande frequenti
Qual è la differenza in una riga?
La condizione sufficiente basta a garantire la conclusione; quella necessaria è indispensabile ma da sola può non bastare.
Che cosa significa «A solo se B»?
Che B è necessaria per A, cioè A ⟹ B. Non significa B ⟹ A.
La contronominale è sempre vera?
È sempre equivalente all’implicazione originaria: se una è vera lo è anche l’altra.
Da «se A allora B» e da B, cosa si conclude su A?
Nulla. Concludere A sarebbe l’errore di affermazione del conseguente.
In sintesi
In A ⟹ B la premessa è sufficiente e la conseguenza è necessaria; quando le implicazioni valgono in entrambi i versi la condizione è necessaria e sufficiente. La contronominale è sempre equivalente, l’inversa quasi mai: è lì che si giocano i quesiti di logica. Sono utili anche le pagine su come calcolare la percentuale e sulle proprietà dei logaritmi, insieme ai quiz di logica della piattaforma Accademia.
Approfondimento esterno: la voce sulla logica della Treccani introduce implicazione e connettivi.