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!

Logic: Natural Deducation

  1. Feb 14, 2012 #1
    Logic: Natural Deduction


    Can anyone lead me off here? I've broken down the three premises using 'for all' elimination, now I need to start a subderivation with an assumption, but I'm not sure what!

    Right now I'm unsure of the strategy I need to use to get to the conclusion, what do I want to be left with to manipulate into the conclusion?

    Would be grateful for any help!

    A list of the inference rules I have learnt so far for Natural deduction can be found HERE
    Last edited: Feb 14, 2012
  2. jcsd
  3. Feb 14, 2012 #2

    I've reduced the problem to the above, if I can prove the above then I can prove the whole thing! (I think..!)

    Any help on this one? Thanks :)
    Last edited: Feb 14, 2012
  4. Feb 15, 2012 #3
    Apparantly my above inference isn't valid so I cannot proceed with this method

    My initial assumption is assuming P(a,b) & P(b,a)

    Really stuck, would appreciate help!

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Logic Natural Deducation Date
Doing a logical deduction Feb 8, 2018
Making a logical deduction Jan 31, 2018
Interpreting a statement in first order logic Jan 24, 2018
Find the derivative of this function Jan 12, 2018
Green's functions: Logic behind this step Nov 13, 2017