Eitus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
34. rida:
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>.
| |||