Translate the following inference to logic notation: Mary is a politician or Robert is not a police officer. Therefore if Robert were a police officer, then Mary is a politician.
p or ~q. Therefore q -> p.