#
**IA
**

# Logical methods for AI

Tutorial **excercises** for tutorials

This work is licensed under CC BY 4.0

##### Tutorials

- Tutorial 1. Logic and AI 3. Logic and AI
- Tutorial 2. Valid inference 3. Valid inference
- Tutorial 3. Formal languages 3. Formal languages
- Tutorial 4. Boolean algebra 3. Boolean algebra
- Tutorial 5. Boolean satisfiability 3. Boolean satisfiability
- Tutorial 6. Logical conditionals 3. Logical conditionals
- Tutorial 7. Logical proofs 3. Logical proofs