Results 1 to 2 of 2

Math Help - proposition question

  1. #1
    Newbie
    Joined
    Mar 2009
    Posts
    1
    I am having a difficult time figuring out this proposition question. The question states this: Consider the proposition: "You are not going home unless you don't want to stay in a hotel" Write the proposition in the form "if p, then q" what I have so far is "If you don't want to stay in a hotel then you are going home" which I figure is p -> ~q, however I keep second guessing myself.. if the first part is wrong, the remaining questions will also follow unfortunately Could someone point me in the correct direction if I am wrong? Or clarify that the way I am headed is at least correct?

    or maybe it is ~p->q.. which seems to be where I went wrong
    Last edited by mr fantastic; March 14th 2009 at 02:19 PM. Reason: Merged posts
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,923
    Thanks
    1762
    Awards
    1
    Quote Originally Posted by fueL View Post
    Consider the proposition: "You are not going home unless you don't want to stay in a hotel"
    The “unless” connective is one of the most confusing just behind “only if”: Unless -- from Wolfram MathWorld.
    “A unless B” means \neg B \Rightarrow A.

    You have "not going home", \neg G, unless “don't want to stay in a hotel", \neg S.
    Does that give S \Rightarrow \neg G\; \vee \,G \Rightarrow \neg S?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Fibonacci Proposition
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 25th 2011, 05:11 PM
  2. proof this proposition
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: December 19th 2009, 07:25 AM
  3. Proposition Help!?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 29th 2009, 04:16 PM
  4. Proposition Logics - Seriously need help!
    Posted in the Advanced Math Topics Forum
    Replies: 2
    Last Post: November 6th 2008, 05:37 PM
  5. Prove a Proposition
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 16th 2008, 03:30 PM

Search Tags


/mathhelpforum @mathhelpforum