Rule of Simplification/Also known as
Jump to navigation
Jump to search
Rule of Simplification
The Rule of Simplification can also be referred to as the rule of and-elimination.
Some sources give this as the law of simplification for logical multiplication.
Such treatments may also refer to the Rule of Addition as the law of simplification for logical addition.
This extra level of wordage has not been adopted by $\mathsf{Pr} \infty \mathsf{fWiki}$, as it is argued that it may cause clarity to suffer.