Exercises

 

 

 

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