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 has the following 2 subcategories, out of 2 total.

- Quantifier (logic) (19 P)

The following 36 pages are in this category, out of 36 total. This list may not reflect recent changes.