# Rule of Simplification

Jump to navigation
Jump to search

## Sequent

The **rule of simplification** is a valid deduction sequent in propositional logic.

### Proof Rule

- $(1): \quad$ If we can conclude $\phi \land \psi$, then we may infer $\phi$.
- $(2): \quad$ If we can conclude $\phi \land \psi$, then we may infer $\psi$.

### Sequent Form

The Rule of Simplification can be symbolised by the sequents:

\(\text {(1)}: \quad\) | \(\ds p \land q\) | \(\) | \(\ds \) | |||||||||||

\(\ds \vdash \ \ \) | \(\ds p\) | \(\) | \(\ds \) |

\(\text {(2)}: \quad\) | \(\ds p \land q\) | \(\) | \(\ds \) | |||||||||||

\(\ds \vdash \ \ \) | \(\ds q\) | \(\) | \(\ds \) |

## Explanation

The rule of simplification consists of two proof rules in one.

The first of the two can be expressed in natural language as:

- Given a conjunction, we may infer the first of the conjuncts.

The second of the two can be expressed in natural language as:

- Given a conjunction, we may infer the second of the conjuncts.

## Also known as

The Rule of Simplification can also be referred to as the **rule of and-elimination**.

Some sources give this as the **law of simplification for logical multiplication**.

Such treatments may also refer to the Rule of Addition as the **law of simplification for logical addition**.

This extra level of wordage has not been adopted by $\mathsf{Pr} \infty \mathsf{fWiki}$, as it is argued that it may cause clarity to suffer.