Results 1 to 2 of 2

Math Help - Prepositional Homework Stuck

  1. #1
    Newbie
    Joined
    Dec 2008
    Posts
    3

    Prepositional Homework Stuck

    I am stuck on these problems.


    • ((B v C) & -D) -> ((G-> -L) & P), P->(G&L) (-B v D) & (-C v D)


    1 1. ((B v C) & -D) -> ((G-> -L) & P) A
    2 2. P->(G&L) A
    3 3. B PA
    4 4. -D PA
    5 5. C PA
    6 6. -((-B v D) & (-C v D)) PA
    3 7. B v C 3, vI
    3,4 8. ((B v C) & -D) 4,7 &I
    1,3,4 9. (G->-L) & P 1,8 ->O
    1,3,4 10. P 9, &O
    1,2,3,4 11. G&L 2,10 ->O
    1,2,3,4 12. G->-L 9 &O
    1,2,3,4 13. G 11 &O
    1,2,3,4 14. L 11 &O
    1,2,3,4 15. -L 12,13 ->O
    1,2,3,4 16. L & -L 14,15 &I
    1,2,4 17. ~B 3-16 I
    1,2,4 18. B v D 17 vI
    5 19. B v C 5 vI
    4,5 20. ((B v C) & -D) 4,19 &I
    1,4,5 21. (G->-L) & P 1,20 ->O
    1,4,5 22. P 21, &O
    1,2,4,5 23. G&L 2,22 ->O



    And on this one I can't even figure out what to PA.

    . -x(Px → yGxy) v x(Lx & Sx), -x(-Lx v Sx) → (xy-Gxy→x-Px)
    ├ - ( ((x-Px v xyGxy) → -x(Lx → -Sx)) → ( x (Sx & Lx) & x(Px & y-Gxy) ) )
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Dec 2008
    Posts
    3
    I figured out the first one, does anyone know the second one or at least what I should PA?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: March 30th 2011, 09:50 PM
  2. [SOLVED] Mechanics Review Homework - Stuck =[
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: March 12th 2009, 07:02 AM
  3. Stuck with proof homework!
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: May 23rd 2008, 08:22 PM
  4. Functions--> homework , absolutly stuck :S
    Posted in the Math Topics Forum
    Replies: 7
    Last Post: April 11th 2008, 06:06 PM
  5. random homework quesstion, i am stuck
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: April 14th 2006, 09:25 AM

Search Tags


/mathhelpforum @mathhelpforum