image/svg+xml
Open English Wordnet
Options ▼
Nouns
(n)
predicate calculus
,
functional calculus
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
MORE ▶
Download As:
JSON
RDF/XML
Turtle
XML