2.5d: 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 isn't a Brit. (hint)
  2. Neither Agnes nor Bob is Canadian. (hint)
  3. Bob is not Canadian and neither is Agnes. (hint)
  4. Bob is a Brit if Agnes is Canadian. (hint)
  5. Bob is a Brit only if Agnes is Canadian. (hint)
  6. Bob is a Brit if and only if Agnes is. (hint)
  7. Agnes is a Brit unless Bob is. (hint)