Predicate Logic
← Back to Logic
Extends propositional logic with variables, predicates, and quantifiers (for all, there exists). Predicate logic enables reasoning about properties of objects and relationships between them. The foundation for formal specification, database query languages, and theorem provers.