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)
English · Dansk · Sign up · About OnlineObjects · Terms and privacy policy