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

Viited

Loogika