2.2d: Symbolizations in SL

Let's do some symbolization with names.

a: Agnes, b: Bob

B_:  ___ is a Brit.
C_:  ___ is a Canadian.

You must use upper and lower case letters here: You WILL need the shift-key!

  1. Agnes is a Brit. (hint)
  2. Agnes is a Brit but Bob is a Canadian. (hint)
  3. Either Bob or Agnes is a Canadian.
  4. Only Bob is a Canadian, Agnes is a Brit. (hint)
  5. Bob is not a Brit.
  6. Bob is a Brit if and only if Agnes is. (hint)
  7. Agnes is a Brit only if Bob is. (hint)