Translate the following inference to logic notation: It is windy if and only if Mary is a politician. For all x, x_20 will make tea and x_20 will climb a mountain. Mary is not a politician. Therefore it is not windy and William is making tea.
p <-> q. forall x: P(x) and Q(x). ~q. Therefore ~p and P(a).