Erinevus lehekülje "Eitus" redaktsioonide vahel

Lisatud 10 baiti ,  12 aasta eest
P
Näiteks kui <i>p</i> väljendab propositsiooni "Täna on laupäev", siis selle eitus ~<i>p</i> väljendab propositsiooni "Täna ei ole laupäev".
 
[[Klassikaline loogika|Klassikalises loogikas]] tähendab kahekordne eitus jaatust: propositsioonid <i>p</i> ja ~(~<i>p</i>) on [[ekvivalentsus (loogika)|ekvivalentsed]]. [[Intuitsionistlik loogika|Intuitsionistlikus loogikas]] aga on ~~<i>p</i> [[Nõrkus|nõrgem]] propositsioon kui <i>p</i>.
Siiski on ka intuitsionistlikus loogikas ekvivalentsed <nowiki>~~~</nowiki><i>p</i> ja ~<i>p</i>.