Translate the following inference to logic notation: James is playing squash if and only if Richard is a police officer. James is playing squash or Richard is not a police officer. Therefore if Richard were a police officer, then James is playing squash.
p <-> q. p or ~q. Therefore q -> p.