Prof. H. Hamner Hill’s symbolic logic course pages
(A good place to start is with his Overview and Review of Basic Logic):

· Symbolic Logic I (PL 120)

· Advanced Symbolic Logic (PL 330)

Some Smullyan links

• Link to Raymond Smullyan’s “Planet Without Laughter”
• J J O'Connor and E F Robertson's short Smullyan biography 
• “Raymond Smullyan - Pianist at Piano Society”  provides information and an opportunity to download some of his music.

Other links to materials for Philosophy 311, Introduction to Formal Logic will be posted here as the course progresses.)

Professor Lila Kari has a lovely explanation of how to convert schemata into prenex normal form at

• Prenex normal form - http://www.csd.uwo.ca/~lila/prenex.pdf
• An updated version can be found here:  
  
  https://www.student.cs.uwaterloo.ca/~cs245/W18_pred_logic_resolution_h.pdf

And for more helpful notes and explanations, here's a link to her recent "Logic and Computation" course at the University of Waterloo:

• https://www.student.cs.uwaterloo.ca/~cs245/schedule.shtml

• Here's a link to a pdf of the Groundhog Day logic exercises planned for 2/2/2018
  

Michael Kagan kagan@lemoyne.edu

• PHL 311, Formal Logic Spring 2018 Syllabus
• Other materials for PHL 311
• Back to Kagan's Homepage: http://web.lemoyne.edu/~kagan/index.html
• Academic  Advising and Support