Session 02.1.1 and 02.2.2

Review of basic concepts and exercises from the first and second day (Scott Brewer, Henry Prakken, Giovanni Sartor)

Themes covered in this session:

  1. Arguments and cases
  2. Truth tables
  3. Inferences in propositional logic
  4. Using propositional logic to represent legal argument
  5. Basic logical and metalogical concepts


  • Wright v. Newman (link)


  • Translation exercises (Giovanni) (link)
  • Exercises on propositional logic: see session 1.2.2.
  • Brewer, s. Exercises on the logocratic method (link)
  • Brewer, s. Exercises on representing law in propositional logic (link)


Tapscott 1-8 (link)


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