Results 1 to 2 of 2

Math Help - Formal Propositional Logic Statement

  1. #1
    Junior Member
    Joined
    Aug 2007
    Posts
    32

    Formal Propositional Logic Statement

    Statements:

    a) we will go if you go

    b) if you don't eat your breakfast, you will be hungry

    My answers:

    a) We -> You

    b) L ^ ~B


    Are these correct? I know they may seam simple to most of you, but I'm not very good at math and logic, but need this class for my major. Thanks for the help.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    a) "we will go if you go" that means "if you go, then we will go" i.e. "you go" \Rightarrow "we go"

    b) "if you don't eat your breakfast, you will be hungry" is "you don't eat" \Rightarrow "you hungry" i.e. no("you eat") \Rightarrow "you hungry"

    By definition, A\Rightarrow B is \neg A \vee B.

    Therefore no("you eat") \Rightarrow "you hungry" is the same as "you eat" \vee "you hungry"
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Writing a formal proof for this statement?
    Posted in the Geometry Forum
    Replies: 6
    Last Post: August 1st 2011, 02:17 PM
  2. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 20th 2011, 05:46 AM
  3. Replies: 5
    Last Post: April 14th 2009, 11:25 PM
  4. Replies: 1
    Last Post: March 27th 2009, 07:43 AM
  5. Propositional Logic--Please help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 6th 2007, 06:25 AM

Search Tags


/mathhelpforum @mathhelpforum