Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Reverse Implication
< Rule of Distribution | Disjunction Distributes over Conjunction | Left Distributive | Formulation 2
Jump to navigation
Jump to search
Theorem
- $\vdash \paren {\paren {p \lor q} \land \paren {p \lor r} } \implies \paren {p \lor \paren {q \land r} }$
Proof
This needs considerable tedious hard slog to complete it. In particular: Use formulation 1 + Modus Ponens To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Finish}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.7$: The Derivation of Formulae: $D \, 32$