Session 1.2.1

Introduction to propositional logic and exercises (Henry Prakken, Nino Rotolo, Giovanni Sartor)

Monday, 16 July, first afternoon session: 14h-15h20

Themes covered in this session:

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


  • Slides on propositional logic (link)
  • Truth table calculator (link)


  • 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 (link)
  • Pollock, J.L. Logic: An Introduction to the Formal Study of Reasoning, Ch 2, Ch 3, Ch 4.

Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s