Predicate Logic

Home > Philosophy > Logic > Formal Proof > Predicate Logic

Predicate logic is used for reasoning about properties and relations between objects in the world. It involves quantifiers such as universal and existential quantifiers.