06165364-n

English_3.0

Synset:
functional_calculus, predicate_calculus
Gloss:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

French_3.0

Synset:
calcul_des_prédicats

Relações

inv-has_holo_part
06165623-n
inv-has_hyponym
06164665-n
inv-rgloss
00007846-n
inv-rgloss
00031921-n
inv-rgloss
00047534-r
inv-rgloss
00988028-v
inv-rgloss
06164665-n
inv-rgloss
06165623-n
inv-rgloss
06316813-n
inv-rgloss
06750804-n