Session 01.2.2

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

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)

Readings

  • Brewer, S. and Sartor, G., Law and logic: Ch.2 Ch.3 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 3 and Ch 4 (link)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s