Lauseloogika

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

• Elementaarlause
• Predikaatloogika
• Tõeväärtustabel
• Tuletusreegel
• Loogiline funktsioon
• Tõeväärtusfunktsioon
• Loogika valemid