top of page

This site was designed with the

website builder. Create your website today.Start Now

GDC Gladiatore nell’arena 1975

Lecture Notes

Slides

Informal Reasoning

Propositional Logic (PL)

4. Propositional Formalisations

5. Language, Models and Truth-Tables

6. Expressive Completeness and Tableaux

7. Natural Deduction

8. Natural Deduction (Further Exercises)

Propositional Logic (PL)

Predicate Logic (QL)

5. Validity. Language. Formalisations (Ex.)

6. Semantics and Tableaux. (Ex.)

7. Natural Deduction: ∀E, ∀I, ∃I. (Ex.)

8. Natural Deduction: ∃E, =. (Ex.)

Predicate Logic (QL)

9. Translations and Tableaux

10. Natural Deduction

Exercises

11. Propositional Logic (PL)

12. First-Order Logic (QL)

Predicate Modal Logic

9. Basic Predicate Modal Logic and Some of Its Extensions. (Ex.)

bottom of page