predicate calculus (n)
functional calculus (n)

n06165364

type n
lex_filenum 09
def a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Outgoing links
Hypernym symbolic logic, mathematical logic, formal logic
Part meronym quantification
Incoming links
Hyponym symbolic logic, mathematical logic, formal logic
Part holonym quantification

Back to the index

Click for the XML entry