# Rule of Simplification/Explanation

Jump to navigation
Jump to search

## 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.