OKPEDIA CONNETTIVI LOGICI

Condizione necessaria

La condizione necessaria è un'espressione logica che lega due proposizioni logiche. Date due proposizioni A e B, la proposizione B è una condizione necessaria per A se A implica B ( A ⇒ B ) ( vedi implicazione logica ). Affinché si verifichi un evento è necessario che si verifichi una condizione. Ad esempio, per vincere una partita di calcio ( A ) è necessario segnare goal ( B ). È infatti impossibile vincere sul campo una partita senza aver segnato almeno un goal.

A ⇒ B
vincere ( A ) "implica" segnare goal ( B )
segnare goal ( B ) è condizione necessaria per vincere ( A )
B è condizione necessaria per A

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

Condizione necessaria ma non sufficiente. Una condizione necessaria non è detto che sia anche sufficiente per garantire il verificarsi dell'evento. Ad esempio, segnare goal non è detto che consenta sempre di vincere la partita poiché l'avversario potrebbe aver segnato più goal.

https://www.okpedia.it/condizione_necessaria


Segnala un errore o invia un suggerimento per migliorare la pagina


Algebra booleana

Porte logiche


FacebookTwitterLinkedinLinkedin