Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot lisas: simple:Propositional logic |
P robot lisas: id:Kalkulus proposisional |
||
24. rida: | 24. rida: | ||
[[af:Proposisionele logika]] |
[[af:Proposisionele logika]] |
||
[[ar:حساب القضايا]] |
[[ar:حساب القضايا]] |
||
[[id:Kalkulus proposisional]] |
|||
[[be-x-old:Злічэнне выказванняў]] |
[[be-x-old:Злічэнне выказванняў]] |
||
[[ca:Lògica proposicional]] |
[[ca:Lògica proposicional]] |
Redaktsioon: 12. veebruar 2009, kell 14:22
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väär. 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. |