Results 1 to 3 of 3

Math Help - Propositional Logic--Please help

  1. #1
    Newbie
    Joined
    Oct 2007
    Posts
    21

    Propositional Logic--Please help

    1. A & b
    2 A -> (D & G) /need to get D v Q
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,615
    Thanks
    1578
    Awards
    1
    By simplification we get A \wedge B\, \Rightarrow \,A.
    By modus ponems we get D \wedge G from A\, \Rightarrow \,\left( {D \wedge G} \right).
    Then get D by simplification and then D \vee G by disjunction.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    Quote Originally Posted by ambergarrett955 View Post
    1. A & b
    2 A -> (D & G) /need to get D v Q

    3) A (conjunctive simplification)
    4) D & G (using 3, assertion)
    5) D (using 4, conjunctive simplification)
    6) D v Q (using 5, addition)
    QED.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. propositional logic
    Posted in the Algebra Forum
    Replies: 2
    Last Post: August 30th 2011, 09:52 AM
  2. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: June 1st 2011, 03:22 PM
  3. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 20th 2011, 04:46 AM
  4. propositional logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: August 3rd 2010, 11:52 AM
  5. propositional logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 10th 2007, 09:50 AM

Search Tags


/mathhelpforum @mathhelpforum