Exercise
One: Consistency and Validity
Exercise
Two: Propositional Calculus: Language
Exercise
Three: Propositional Calculus: Tableaux
Exercise
Four: Predicate Calculus: Language
Exercise
Five: Predicate Calculus: Tableaux
Exercise
Six: Predicate Calculus with Identity
Exercise
Seven: Designators
Exercise
Eight: Relations
|