Introduction to propositional logic: Part 1 (Henry Prakken, Nino Rotolo, Giovanni Sartor)
Themes covered in this session:
- Syntax of propositional logic
- Semantics: truth tables
- (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)