Condizione necessaria e sufficiente: differenze tra le versioni

 
== Gli elementi ==
* La condizione ''necessaria'' è quella che deve essere soddisfatta affinché la proposizione sia vera. Formalmente, una condizione Q è necessaria per una proposizione P se QP implica Q (in altri termini, se Q è implicato da P, formalmente P <math>\Rightarrow</math>Q). Ad esempio, la facoltà di respirare è necessaria per continuare a vivere: se non si avesse possibilità di respirare, non si sarebbe più vivi. Il respiro però non è sufficiente per rimanere in vita, perché si può morire anche respirando. È necessario che un [[numero primo]] maggiore di due sia [[numero dispari|dispari]], ma non è sufficiente per ''p'' essere dispari per essere primo.
 
* La condizione ''sufficiente'' è quella che, se soddisfatta, garantisce la verità della proposizione. Formalmente, una condizione Q è sufficiente per una proposizione P se P implica Q. Ad esempio, saltare è sufficiente per abbandonare il suolo, ma non è necessario per abbandonare il suolo, in quanto ci si può innalzare in vari modi. La possibilità di un numero di essere diviso per sei è sufficiente affinché il numero sia pari, ma non è necessaria (esistono numeri pari non divisibili per sei).
1

contributo