# Category:Rules of Inference

Jump to navigation
Jump to search

This category contains results about **Rules of Inference**.

Definitions specific to this category can be found in **Definitions/Rules of Inference**.

A **rule of inference** is a specification of a valid means to conclude new theorems in $\mathscr P$ from given theorems and axioms of $\mathscr P$.

Often, the formulation of **rules of inference** also appeals to the notion of provable consequence to be able to deal with assumptions as part of a proof.

## Subcategories

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

### D

- Double Negation Introduction (9 P)

### E

### I

- Independent Rules of Inference (empty)

### P

- Principle of Non-Contradiction (17 P)

### T

- Tableau Proofs (511 P)

## Pages in category "Rules of Inference"

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

### D

### M

### P

### R

- Reductio ad Absurdum
- Reductio ad Absurdum/Proof Rule
- Rule of Addition/Proof Rule
- Rule of Assumption/Proof Rule
- Rule of Conjunction/Proof Rule
- Rule of Explosion/Proof Rule
- Rule of Implication/Proof Rule
- Rule of Sequent Introduction
- Rule of Simplification/Proof Rule
- Rule of Theorem Introduction
- Rule of Top-Introduction
- Rule of Top-Introduction/Tableau Form