Condizione necessaria e sufficiente: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: fix sezioni standard |
|||
Riga 10:
==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 Q è ''necessaria'' per P 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
''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.
| |||