lausearvutus, matemaatilise loogika lihtsaim osa; põhimõisted on lause ja loogikatehted (nt disjunktsioon).

VE, 2006