Ask your own question, for FREE!
Mathematics
OpenStudy (ajprincess):

plzzz help. prove (p→q)∧(r→q) = (pvr)→q

6 years ago
OpenStudy (jamesj):

First step: how do you write (p→q) as an logical expression that does not use the implication symbol → ?

6 years ago
OpenStudy (ajprincess):

|dw:1338105778405:dw|

6 years ago
OpenStudy (jamesj):

~pvq or ~(p^~q), right So, rewrite now both sides of your expression using this rule and see what you get.

6 years ago
OpenStudy (jamesj):

(p→q)∧(r→q) = (~p v q) ^ (~r v q) -- (*) and (pvr)→q = (~(pvr) v q) -- (**) So you need now just to show the two right-hand side expressions of (*) and (**) are equivalent.

6 years ago
OpenStudy (ajprincess):

Nw I get t. when I take vq out I will get (~p^~r) which is equal to (~(pvr)vq)

6 years ago
OpenStudy (jamesj):

right

6 years ago
OpenStudy (ajprincess):

Thanxxxx a lot.

6 years ago
Can't find your answer? Make a FREE account and ask your own question, OR you can help others and earn volunteer hours!
Latest Questions
MrMudd183: boooooooooored
1 hour ago 0 Replies 0 Medals
lilywolfuchiha: Which expression is equivalent to 36/25 sqrt
1 hour ago 0 Replies 0 Medals
iamjustmea: "My love is like a red, red rose" is a simile.
3 hours ago 13 Replies 2 Medals
iamjustmea: The most common foot in English poetry is the _
3 hours ago 0 Replies 0 Medals
lindey: Given the system mc022-1.jpg, which is true?
2 hours ago 2 Replies 1 Medal