English Dictionary
Computer Dictionary
Thesaurus
Dream Dictionary
Medical Dictionary
Search Dictionary:
Meaning of PREDICATE CALCULUS
WordNet Dictionary
Definition:
[n]
a
system
of
symbolic
logic
that
represents
individuals
and
predicates
and
quantification
over
individuals
(
as
well
as
the
relations
between
propositions
)
Websites:
Synonyms:
functional calculus
See Also:
formal logic
,
mathematical logic
,
quantification
,
symbolic logic
Computing Dictionary
Definition:
predicate logic
COPYRIGHT © 2000-2003 WEBNOX CORP.
HOME
|
ABOUT HYPERDICTIONARY
WordNet Dictionary