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.