Introduction to propositional logic: Part 1 (Henry Prakken, Nino Rotolo, Giovanni Sartor)

Themes covered in this session:

1. Syntax of propositional logic
2. Semantics: truth tables
3. (Inference for propositional logic)

Slides

• Introduction to propositional logic (link)

Readings

• Brewer, S. and Sartor, G. Law and logic: Ch.1, Ch.2 Classical Logic and the Law (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 2,
  Ch 3.
• van Benthem, J., van Ditmarsch, H., van Eijck, J., and Jaspars, J. (2012). Logic in Action. (link), Ch2.