# Category:Predicate Logic

This category contains results about Predicate Logic.

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

**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**:

## Subcategories

This category has the following 6 subcategories, out of 6 total.

### C

### E

### L

### Q

## Pages in category "Predicate Logic"

The following 25 pages are in this category, out of 25 total.

### E

### S

- Satisfiability preserved in Supersignature
- Semantic Consequence preserved in Supersignature
- Semantically Equivalent Terms are Equal
- Socrates is Mortal
- Substitution Instance of Term is Term
- Substitution Instance of WFF is WFF
- Substitution Theorem for Terms
- Substitution Theorem for Well-Formed Formulas
- Substitution Theorem for Well-Formed Formulas/Corollary