# Category:Predicate Logic

Jump to navigation
Jump to search

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 13 subcategories, out of 13 total.

### B

- Bound Variables (5 P)

### C

### D

- De Morgan's Laws (Logic) (50 P)

### E

- Examples of Open Statements (2 P)
- Examples of Predicates (2 P)

### F

- Free Variables (4 P)

### L

- Language of Predicate Logic (1 P)

### M

### P

- Proper Names (empty)

### Q

### U

- Universal Instantiation (6 P)

## Pages in category "Predicate Logic"

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