Lauseloogika: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
VolkovBot (arutelu | kaastöö)
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.

Vaata ka