# Rule of Simplification/Explanation

## Rule of Simplification

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.