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.
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.