Predicate Logic

Home > Philosophy > Logic > Deductive Reasoning > Predicate Logic

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