Condizione sufficiente

La condizione sufficiente è un'espressione logica che lega due proposizioni logiche. Date due proposizioni A e B, la proposizione A è una condizione sufficiente per B se A implica B ( A ⇒ B ) ( v. implicazione logica ). Ogni qual volta la proposizione A è vera, allora anche la proposizione B è vera. Ad esempio, per vincere una partita di calcio ( B ) è sufficiente segnare più goal dell'avversario ( A ). Se una squadra segna più goal dell'altra, ha sicuramente vinto la partita.

A ⇒ B
segnare più goal ( A ) "implica" segnare vincere ( B )
segnare più goal ( A ) è condizione sufficiente per vincere ( B )
A è condizione sufficiente per B

La proposizione logica "A è sufficiente per B" equivale dire "B è necessario per A" poiché in entrambe le proposizioni logiche "A implica B" ( A ⇒ B ).

Condizione sufficiente ma non necessaria. Una condizione sufficiente non è detto che sia anche necessaria per garantire il verificarsi dell'evento. Ad esempio, possiamo dire che essere milanesi è condizione sufficiente per essere italiani ma non anche necessaria. Se una persona è milanese è anche italiana. Tuttavia, è possibile essere italiani anche senza essere milanesi.