Translate the following inference to logic notation: If Joseph were a politician, then Mary is a cashier. If Mary were a cashier, then Joseph is a politician. Therefore if Joseph were a politician, then Mary is a cashier.
p -> q. q -> p. Therefore p -> q.