Results 1 to 3 of 3

Thread: Logic help please!

  1. #1
    Newbie
    Joined
    Oct 2014
    From
    Plymouth
    Posts
    1

    Logic help please!

    I need some mad help solving these 3 equations:

    1.) W>(PvC)...Premise
    ~P...Premise
    W....Premise

    C=Conclusion

    2. Cv(HvR)..premise
    Sv(RvE)..Premise
    ~C...Premise
    ~S...Premise

    H>E=Conclusion


    3. ~Dv(L>~F)..Premise
    ~D>~F...premise
    ~~F...Premise

    ~L=Conclusion

    ANY help is appreciated. I do not understand this stuff -.-Need to get to the conclusion.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    19,337
    Thanks
    2859

    Re: Logic help please!

    First those are not "equations" and, second, they cannot be "solved". It looks to me like these are "arguments" and you want to show that they are, or are not, "valid".

    If you do not know anything about these things, such as what a "valid argument" is, where did you get these problems?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Sep 2016
    From
    Seoul
    Posts
    6
    Thanks
    1

    Re: Logic help please!

    Quote Originally Posted by Hidzi View Post
    I need some mad help solving these 3 equations:

    1.) W>(PvC)...Premise
    ~P...Premise
    W....Premise

    C=Conclusion

    2. Cv(HvR)..premise
    Sv(RvE)..Premise
    ~C...Premise
    ~S...Premise

    H>E=Conclusion


    3. ~Dv(L>~F)..Premise
    ~D>~F...premise
    ~~F...Premise

    ~L=Conclusion

    ANY help is appreciated. I do not understand this stuff -.-Need to get to the conclusion.
    1. W → (P ∨ C)
    2. ~P
    3. W
    4. Show C
    5. P ∨ C 1, 3, MP
    6. C 2, 5, DS
    Q.E.D.

    1. ~D ∨ (L → ~F)
    2. ~D → ~F
    3. ~~F
    4. Show ~L
    5. D 2, 3, MT
    6. L → ~F 1, 5, DS
    7. ~L 3, 6, MT
    Q.E.D.

    They are all easy.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logic help.
    Posted in the Math Puzzles Forum
    Replies: 2
    Last Post: Dec 9th 2012, 10:52 PM
  2. Can someone check my logic (sentential logic)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: Jul 13th 2010, 03:30 AM
  3. logic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Aug 2nd 2009, 09:24 AM
  4. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: Oct 11th 2008, 01:42 PM
  5. Logic
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: Apr 3rd 2008, 09:45 PM

Search Tags


/mathhelpforum @mathhelpforum