Lauseloogika

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

Lausete all mõeldakse lauseloogikas propositsioone.

Lausearvutuse valemeid moodustatakse lauseid tähistavatest muutujatest ja tehtemärkidest.

Lause

Lause A on propositsioon, mis on kas tõene või väär (millel on kas tõeväärtus tõene või tõeväärtus väär). "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii loomuliku keele lause kui ka matemaatiline valem.

Vaata ka

• Elementaarlause
• Tõeväärtustabel
• Predikaatloogika
• Boole'i algebra