Condizione necessaria e sufficiente: differenze tra le versioni

Per capire se P è ''necessaria'' per Q 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 "PQ solo se QP", "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.