Hüperonüümid:
arvutustehe 1(n), matemaatiline tehe 1(n), tehe 2(n)
loogikatehe 1(n)

(matemaatilise loogika lauseis või valemeis:) lausearvutuse tehe, sidesõnade vm keeleliste väljendite täpsustus (nt disjunktsioon, implikatsioon)

ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_synonym
logical operation 1(n), logic operation 1(n) an operation that follows the rules of symbolic logic

CILI relation(s)

eq_synonym
logical_operation 1(n), logic_operation 1(n) an operation that follows the rules of symbolic logic