Translate the following inference to logic notation: It is windy if and only if David is drinking water. If David drinks water, then it is windy. David is not drinking water. Therefore it is not windy.
p <-> q. q -> p. ~q. Therefore ~p.