Materials on Symbolic Logic
Syllabus for Philosophy 521, Deductive Logic, Spring 99
Syllabus for Philosophy 521, Deductive Logic, Spring 2000 (requires Adobe PDF reader)
Note: Adobe PDF readers are available free from:
ADOBE.COM
Solutions to Proof Problems in Logic, Teller, Vol One.
Solutions to Proof Problems in Logic, Teller, Vol Two.
Solutions to Translation Problems 4-3, 4-4 and 4-8 in Logic, Teller, Vol Two.
Solutions to FIRSTORD Problems, Set #2
Solutions to FIRSTORD Problems, Set #3
All Translation Probs in Teller, Vol II, Chaps 1 - 4. --
Needs Adobe PDF reader
A simple method for showing invalidity in predicate logic--"small worlds"
More on showing invalidity in predicate logic. --Needs Adobe PDF reader
Introduction to Translating into Predicate Calculus
Instructions for the Predicate Calculus Semantics Tutor
Solutions to Problems in Predicate Calculus Translation Tutor (PREDTRAN)