Condizione necessaria e sufficiente: differenze tra le versioni

Nessun cambiamento nella dimensione ,  6 anni fa
Etichette: Modifica da mobile Modifica da web per mobile
Etichette: Modifica da mobile Modifica da web per mobile
==Condizione necessaria==
[[Immagine:Lightning 02.jpg|thumb|Il [[fulmine]] è necessario e sufficiente per il [[tuono]], e viceversa. Questo avviene perché entrambi gli accadimenti sono parte dello stesso fenomeno.]]
Per capire se PQ è ''necessaria'' per QP bisogna chiedersi se vale la formulazione "se P non è vera, allora Q non è vera". Per contrapposizione, questo è uguale a dire "ogni volta che Q è vera, anche P è vera". La relazione logica tra di esse è espressa da "Se Q allora P" (in [[lingua inglese|inglese]]: "If Q, then P") o "P <math>\Leftarrow</math> Q" (Q [[implicazione|implica]] P), e si può anche trovare scritta come "P, se Q", "P ogni volta che Q" o "P quando Q". In molti casi, una condizione necessaria è parte di una gamma di condizioni, come mostrato nell'esempio 4.
 
''Esempio 1'': Si consideri la proposizione "Essere un [[dittatore]] è necessario per essere [[presidente a vita]]"; se non si è dittatore, allora è impossibile ricoprire tale carica, ma se si ricopre tale carica, allora si è automaticamente dittatore.
Utente anonimo