Rule of Addition/Also known as
Jump to navigation
Jump to search
Rule of Addition
The Rule of Addition is sometimes known as the rule of or-introduction.
Some sources give is as the law of simplification for logical addition.
Such treatments may also refer to the Rule of Simplification as the law of simplification for logical multiplication.
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.