Tutorials

 

 

Tutorial One: Consistency and Validity

Tutorial Two: Propositional Calculus: Language

Tutorial Three: Propositional Calculus: Tableaux

Tutorial Four: Predicate Calculus: Language

Tutorial Five: Predicate Calculus: Tableaux

Tutorial Six: Predicate Calculus with Identity

Tutorial Seven: Designators

Tutorial Eight: Relations