loogikatehe, lausearvutuse tehe (matemaatilise loogika lauseis või valemeis), sidesõnade vm keeleliste väljendite täpsustus (konjunktsioon, disjunktsioon, implikatsioon, ekvivalents).

VE, 2006