1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Intro to Logic: Constructing Proofs

  1. Apr 23, 2012 #1
    Hey, I'm new to the forum so I'm not sure if I posted this in the right section. I'm taking Intro to Logic and I'm having some problems.

    Proofs: Construct proofs for each of the following symbolic arguments.
    Commas are used to mark the breaks between premises. (Each proof can be
    completed in fewer than 10 steps, including premises.)

    ^These are the instructions my textbook gives. I have no clue on how to start this at all. Could someone explain this to me please.

    2. (W → U) • ∼X ∴ ∼U → ∼W

    3. F → ∼G, G ∴ ∼F

    Rewrite it :

    3) 1.F → ∼G
    2.G ∴ ∼F

    Other than that I have no clue what to do...
  2. jcsd
  3. Apr 24, 2012 #2
    bump... no one has any input at all? :(
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook