Rule of Addition/Also known as

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.

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.