The mathematical model used to reason with predicates which are functions that map variables to truth values known as predicate logic.