Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
English - English (Wordnet) dictionary (also found in Computing (FOLDOC))
predicate calculus
Jump to user comments
Noun
  • a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Related search result for "predicate calculus"
Comments and discussion on the word "predicate calculus"