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.[1]

Lause

muuda

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

muuda

Viited

muuda
  1. Lausearvutus. Eesti entsüklopeedia, 5. kd, 1995, lk 434