Translate the following inference to logic notation: For all x, z is a lawyer if and only if z will work. Charles is a lawyer if and only if it is cold. For all x, z will not work. Therefore it is not cold.
forall x: P(x) <-> Q(x). P(a) <-> p. forall x: ~Q(x). Therefore ~p.