Definitsioon: (matemaatilise loogika lauseis või valemeis:) lausearvutuse tehe, sidesõnade vm keeleliste väljendite täpsustus (nt disjunktsioon, implikatsioon)
Mõiste: loogiline korrutamine
Ülemmõiste: tehe
Mõiste: loogiline korrutamine
Ülemmõiste: matemaatiline tehe
Mõiste: loogiline korrutamine
Ülemmõiste: arvutustehe
Mõiste: NING-tehe
Ülemmõiste: tehe
Mõiste: NING-tehe
Ülemmõiste: matemaatiline tehe
Mõiste: NING-tehe
Ülemmõiste: arvutustehe
Mõiste: determineerimine
Ülemmõiste: tehe
Mõiste: determineerimine
Ülemmõiste: matemaatiline tehe
Mõiste: determineerimine
Ülemmõiste: arvutustehe
Mõiste: inversioon
Ülemmõiste: tehe
Mõiste: inversioon
Ülemmõiste: matemaatiline tehe
Mõiste: inversioon
Ülemmõiste: arvutustehe
Mõiste: loogiline eitus
Ülemmõiste: tehe
Mõiste: loogiline eitus
Ülemmõiste: matemaatiline tehe
Mõiste: loogiline eitus
Ülemmõiste: arvutustehe