Category:Predicate logic
{{Commons category|Predicate logic}}
In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems such as propositional logic in that its formulas contain variables which can be quantified.
Category:Basic concepts in set theory