= Predicate logic
{wiki=Predicate_logic}
Predicate logic, also known as first-order logic (FOL), is a formal system in mathematical logic that extends propositional logic by including quantifiers and predicates. It is used to express statements about objects and their relationships in a structured and precise manner. Here are the key components of predicate logic: 1. **Predicates**: A predicate is a function that takes one or more objects from a domain and returns a truth value (true or false).
Back to article page
