Category:Predicate logic
Jump to navigation
Jump to search
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Wikimedia Commons has media related to 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.
This category currently contains no pages or media.