Translate the following inference to logic notation: Mary is running if and only if Charles is a politician. If Mary goes running, then Charles is a politician. Therefore if Mary goes running, then Charles is a politician.
p <-> q. p -> q. Therefore p -> q.