Lauseloogika

Allikas: Vikipeedia

Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.

Lausete all mõeldakse lauseloogikas propositsioone.

Üldarusaadav sissejuhatus[muuda | redigeeri lähteteksti]

Lihtlause[muuda | redigeeri lähteteksti]

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[muuda | redigeeri lähteteksti]