Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Math Topics » discretemath

Topic: Need help w/ problem
Replies: 3   Last Post: Sep 26, 2012 2:45 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Angela Richardson

Posts: 42
From: UK
Registered: 6/22/11
Re: Need help w/ problem
Posted: Sep 26, 2012 2:45 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply
att1.html (1.3 K)

¬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.



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.