WordRel.com
predicate calculus
Noun
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
synonym
functional calculus
hypernym
formal logic
mathematical logic
symbolic logic
mero part
quantification
predicate calculus vs formal logic
predicate calculus vs functional calculus
predicate calculus vs mathematical logic
predicate calculus vs symbolic logic
© WordRel.com 2024,
CC-BY 4.0
/
CC-BY-SA 3.0
.
Details