Rule of Simplification/Explanation

From ProofWiki
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.