Predicate logic

Philosophy portal

Here is a list of articles in the category Predicate logic of the Philosophy portal. 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.