Introduction to propositional logic: Part 2 (Juliano Maranhao)

Themes covered in this session:

1. Semantics: truth tables
2. Inference for propositional logic

Slides

• See session 1.2.1.

Exercises

• Exercises for sessions 1.2.1 and 2.1.1 (link)

Optional readings

• Sainsbury, M. (2001). Logical Forms: An Introduction to Philosophical Logic. Blackwell, Oxford. Ch. 2, Ch. 3
• Pollock, J.L. Logic: An Introduction to the Formal Study of Reasoning, Ch 3 and Ch 4 (link)