Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P kat |
Resümee puudub |
||
22. rida: | 22. rida: | ||
[[Kategooria:Loogika]] |
[[Kategooria:Loogika]] |
||
[[ar:حساب القضايا]] |
|||
[[de:Aussagenlogik]] |
[[de:Aussagenlogik]] |
||
[[en:Propositional calculus]] |
[[en:Propositional calculus]] |
Redaktsioon: 28. november 2005, kell 22:43
Lauseloogika on loogika valdkond, mis uurib tõeväärtusfunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väärus. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii loomuliku keele lause kui ka matemaatiline valem.
Artikli kirjutamine on selles kohas pooleli jäänud. Jätkamine on kõigile lahkesti lubatud. |