# Definition:Predicate Logic

## Contents

## Definition

**Predicate logic** is a sub-branch of symbolic logic.

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

Thus in **predicate logic**, simple statements are no longer atomic.

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

There are various formal systems allowing for rigid determination of the theorems of **predicate logic**:

## Also known as

**Predicate logic** is sometimes referred to as **first-order logic** or **first-order language**, sometimes unhyphenated as **first order**.

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

## Also see

- Results about
**predicate logic**can be found here.

## Sources

- 1993: M. Ben-Ari:
*Mathematical Logic for Computer Science*(1st ed.) ... (previous) ... (next): $\S 1.2$: Propositional and predicate calculus - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): Chapter $2$: Pure Predicate Logic