Dr Tom Kerns



Assignment hurley6.1

The language of propositional logic


This assignment is due to be completed by Thursday November 5th

This exercise will be available from Nov 1st to Nov 15th

In this assignment you will learn:

  • what simple propositions are and how to symbolize them
  • what the five main propositional operators are, what they mean and how to use them
  • the precise, unambiguous meanings of ~, •, v, > and =
  • how to translate natural language sentences into symbolic language
  • how to translate symbolic propositions into English sentences


  • Read chapter 6.1 of Hurley’s A Concise Introduction to Logic.

Optional Learning Aids

  • The Learning Logic tutorial on chapter 6.1


  • Login to iLrn
  • Navigate to the assignment titled hurley6.1
  • Open that assignment and do those exercises
  • You may re-do the exercises a second time if you like, and a third time, but it won’t allow you to do them more than three times.
  • iLrn will record the score you earn on the final time you did the assignment.