|
  • Search Results
  • Advanced Search
  • List Builder
  • Random Word

predicate calculus

DEFINITIONS OF: predicate calculus

1

n a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Synonyms:
functional calculus
Type of:
formal logic, mathematical logic, symbolic logic
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Launch
WORD FAMILY
USAGE EXAMPLES