Predicate Logic

A formal logic that deals with quantifiers, predicates, and variables.