Translate the following inference to logic notation: Thomas is not excited. Thomas is a politician if and only if it is windy. For all x, x_21 is excited if and only if x_21 is a politician. Therefore it is not windy or it is cold.
~P(a). Q(a) <-> p. forall x: P(x) <-> Q(x). Therefore ~p or q.