predicate calculus

This is not a dictionary! - Search for "predicate calculus" in The Danish Dictionary

  • March 1. 2016 from wordnet.princeton.edu

    predicate calculus noun english

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