Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Meaning of this statement (logic)

  1. Apr 24, 2012 #1
    This is from Velleman's 'How To Prove It' book (not homework! Reading through it myself)

    Let S stand for the statement 'Steve is happy' and G for 'George is happy'. What English sentences are represented by the following:

    a) [S ⋁ (G ⋀ ¬S)] ⋁ ¬G

    I interpret it as saying 'either Steve is happy or George is happy and Steve is unhappy, or George is unhappy'.

    But I'm more interested what it actually means...

    ...if George is NOT unhappy, meaning he IS happy, then Steve is unhappy. If he is not unhappy, can Steve be happy? Does 'Steve is happy' alone imply that George is also happy? Or can we not say anything about that?
     
  2. jcsd
  3. Apr 24, 2012 #2

    tiny-tim

    User Avatar
    Science Advisor
    Homework Helper

    hi autodidude! :smile:
    either draw a venn diagram, or use the distributive law :wink:
     
  4. Apr 24, 2012 #3


    The statement in (a) is a tautology as its true-false table gets only true values. Thus, we could perhaps

    translate it into common language as Steven is happy or not, George is happy or not...

    DonAntonio
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Meaning of this statement (logic)
  1. Logic statements (Replies: 0)

Loading...