Knowlus logo
Intellect for rent

edit

Error in wikipedia at Distribution of disjunction over disjunction

0¬P ∧ ¬Q ∧ Rpremise
http://en.wikipedia.org/wiki/Distributive_property#Truth_functional_connectives
Originally was (P or (Q or R)) <=> (P or Q) and (P or R)
The left side is true while right side is false if premise above holds.
1Rsimplification [0]
2R ∨ P ∨ Qaddition [1]
3¬Psimplification [0]
4¬Qsimplification [0]
5¬P ∧ ¬Qconjunction introduction [3, 4]
6¬P ∧ ¬Q ∨ ¬P ∧ ¬Raddition [5]
7¬(P ∨ Q) ∨ ¬P ∧ ¬RDe Morgan's law [6]
8¬(P ∨ Q) ∨ ¬(P ∨ R)De Morgan's law [7]
9¬((P ∨ Q) ∧ (P ∨ R))De Morgan's law [8]
10P ∨ Q ∨ R→(P ∨ Q) ∧ (P ∨ R)assumption
11(P ∨ Q) ∧ (P ∨ R)modus ponens [2, 10]
12FALSEcontradiction [9, 11]
13¬(P ∨ Q ∨ R→(P ∨ Q) ∧ (P ∨ R))Reductio ad absurdum [10, 12]
comments powered by Disqus
en_US © 2012-2016 Ilya Ashikhmin
Request result: