The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » Math Topics » discretemath

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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 <>
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]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.