predicate calculus
English Dictionary
->
Letter P
-> predicate calculus
Search Dictionary:
predicate calculus Definition
(n)
a
system
of
symbolic
logic
that
represents
individuals
and
predicates
and
quantification
over
individuals
(
as
well
as
the
relations
between
propositions
)
predicate calculus Synonyms
functional calculus
predicate calculus
© Art Branch Inc.