Category:Predicate Logic

Predicate logic is a sub-branch of symbolic logic.

Definitions specific to this category can be found in Definitions/Predicate Logic.

Predicate logic is an extension of propositional logic in which the internal structure of simple statements is analyzed.

It is sometimes referred to as first-order logic.

Thus in Predicate logic, simple statements are no longer atomic.

The atoms of predicate logic are subjects and predicates of simple statements.

Similarly with propositional logic being referred to as PropLog, it is often abbreviated to PredLog.

Sources

• H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (1996): Chapter $2$