Results 1 to 2 of 2

Math Help - Derivation

  1. #1
    Member
    Joined
    Mar 2010
    Posts
    78

    Derivation

    Prove the following theorem: .: ~P -> (P -> Q)

    1. Show ~P -> (P -> Q)

    2. ~P ASS CD

    3. Show P -> Q

    4. P ASS CD

    5. Q -> P 4 MC

    6. ~Q 5 2 MT


    Where do I go from here?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Mar 2010
    Posts
    78

    Re: Derivation

    Nvm I solved it.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Derivation and Jordan derivation
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 8th 2011, 10:22 PM
  2. [SOLVED] Help on log derivation
    Posted in the Calculus Forum
    Replies: 5
    Last Post: November 19th 2010, 03:04 PM
  3. Help with derivation
    Posted in the Calculus Forum
    Replies: 1
    Last Post: March 19th 2010, 07:12 AM
  4. Second derivation
    Posted in the Calculus Forum
    Replies: 1
    Last Post: January 29th 2009, 10:58 AM
  5. Could use some Derivation help, please
    Posted in the Calculus Forum
    Replies: 12
    Last Post: April 12th 2008, 07:58 AM

Search Tags


/mathhelpforum @mathhelpforum