Translate the following inference to logic notation: It is cloudy if and only if Linda is drinking water. It is cloudy if and only if Linda is drinking water. Therefore if it is cloudy, then Linda is drinking water.
p <-> q. p <-> q. Therefore p -> q.