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.