Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: Need help w/ problem
Posted:
Sep 26, 2012 2:45 AM



¬pV¬qV¬r is equivalent to ¬pV(¬qV¬r) is equivalent by commutation to ¬pV(¬rV¬q) is equivalent by material implication to ¬pV(r >¬q)
________________________________ From: Alex Tank <discussions@mathforum.org> To: discretemath@mathforum.org Sent: Monday, 24 September 2012, 18:57 Subject: Need help w/ problem Hi all, back at math after a couple years break (even though I dont think the math I took would help with this). Anyway I'm just starting out with propositional equivalences and i needed help with this more intermediate problem. Any help would be greatly appreciated :) Show that the compound propositions ¬p V ¬q V ¬r and ¬p V (r > ¬q) are equivalent.



