Derivations in Predicate Logic

  1. Philosophy Forum
  2. » Logic
  3. » Derivations in Predicate Logic

Get Email Updates Email this Topic Print this Page

KCL
 
Reply Mon 25 Aug, 2008 07:21 am
 
VideCorSpoon
 
Reply Mon 25 Aug, 2008 07:54 am
@KCL,
PDE in the first year!!! You're almost into metatheorems. Thats like... the end of the universe in PL. Props! Heck, I'm excited for you... thats very advanced. For me, PL took a year after SD (which was a year in itself!!!. Admittedly, my general acquaintance in predicate systems goes up to PD and a little bit of PD+. So I'll get back to this when I look over the PDE section in my book later today.

Also, did you go through truth trees in predicate logic? For some reason, they always avoided teaching that at school.
 
KCL
 
Reply Mon 25 Aug, 2008 08:49 am
@VideCorSpoon,
Thanks in anticipation...

No we didn't go through truth trees...perhaps they're not viewed as being elegant?
 
KCL
 
Reply Tue 26 Aug, 2008 10:51 am
@KCL,
Anyone for some help?
I can swap you for the meaning of life and the Holy Grail..
 
Fido
 
Reply Sat 6 Sep, 2008 10:28 am
@KCL,
KCL wrote:
Anyone for some help?
I can swap you for the meaning of life and the Holy Grail..

Some people use words to say and some to play.
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » Derivations in Predicate Logic
Copyright © 2021 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 09/25/2021 at 05:59:56