Arutelu:Eitus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
Resümee puudub |
||
36. rida:
:::: Hea küll, ma teen lühemaks. Ma panen sõna "loogikas" ette, et lause oleks paremini loetav. [[Kasutaja:Andres|Andres]] ([[Kasutaja arutelu:Andres|arutelu]]) 7. aprill 2017, kell 13:01 (EEST)
:: Muide, eitus kui loogikatehe selle definitsiooni alla ei käi. Peaks siis vast sissejuhatuses mainima ka seda, mis eitus loogikatehtena on. [[Kasutaja:Andres|Andres]] ([[Kasutaja arutelu:Andres|arutelu]]) 6. aprill 2017, kell 23:28 (EEST)
::: Tere!
::: Üks allikas: [[Enn Kasak]], "[[Loogika alused]]", toimetaja [[Andres Luure]], [[Tartu Ülikooli Kirjastus]], lk 259, 2014
:::Klassikaline loogika, lausearvutuse tehted:
:::Eitus on lausearvutses unaarne tehe, mis seab lausele <i>p</i> vastavusse lause ¬<i>p</i>. Lauset ¬<i>p</i> nimetatakse lause <i>p</i> eituseks.
:::Loomulikus keeles on eituse tunnusteks väljendid "pole tõsi, et...", "ei ole nii, et...".
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Eituse tõeväärsustabel'''
|-
! style="width:80px" | ''p''
! style="width:80px" | <span class="texhtml">¬<i>p</i></span>
|-
| t|| style="background:papayawhip" | v
|-
| style="background:papayawhip" | v|| style="background:papayawhip" | t
|}
{| class="wikitable" style="margin:1em auto; text-align:center;"
|+ '''Eituse tõeväärsustabel'''
|-
! style="width:80px" | ''p''
! style="width:80px" | <span class="texhtml">¬<i>p</i></span>
|-
| 1|| style="background:papayawhip" | 0
|-
| style="background:papayawhip" | 0|| style="background:papayawhip" | 1
|}
::: Mariina 7. aprill 2017, kell 16:35 (EEST) alias Простота
| |||