1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    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!

Homework Help: 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? :(
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook