Translate the following inference to logic notation: If it is cloudy, then David is sleeping. David is not climbing a mountain. For all x, x_11 will climb a mountain if and only if x_11 will sleep. Therefore it is not cloudy.
p -> P(a). ~Q(a). forall x: Q(x) <-> P(x). Therefore ~p.