Review of basic concepts and exercises (continues) (Scott Brewer, Henry Prakken, Nino Rotolo, Giovanni Sartor)

Themes covered in this session:

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

Exercises

• Exercises on propositional logic
• Truth table software (suitable for Windows and Mac)