Translate the following inference to logic notation: Jennifer is playing tennis or Susan is not working. If Jennifer plays tennis, then Susan is working. Therefore if Jennifer plays tennis, then Susan is working.
p or ~q. p -> q. Therefore p -> q.