Hüperonüümid:
formaalloogika 1(n), formaalne loogika 1(n)
predikaatarvutus 1(n), predikaatloogika 1(n)

loogiline arvutus, mille väljendid sisaldavad predikaattähti, muutujaid ja kvantoreid, nimesid ja tehtetähti, samuti väljendeid ja lausearvutuse lausemuutujate tarvis

ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_synonym
functional calculus 1(n), predicate calculus 1(n) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

CILI relation(s)

eq_synonym
functional_calculus 1(n), predicate_calculus 1(n) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
domain_topic
matemaatika 1(n)