Session 3.1.1

From propositional to predicate logic: grammar and basic structure (Nino Rotolo)

Themes covered in this session:

  1. Syntax and semantics,
  2. Universe of discourse,
  3. Individuals and sets
  4. Relations and basic properties of identity, symmetry, transitivity


  • First-Order Predicate Logic: Bartosz Brozek(link)
  • Reasoning with First-Order Predicate Logic: Bartosz Brozek (link)


  • First-Order Predicate Logic: Exercises (link)


  • van Benthem, J., van Ditmarsch, H., van Eijck, J., and Jaspars, J. (2012). Logic in Action, Ch 4, up to section 4.4.(link)

Optional Reading:

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

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