Translate the following inference to logic notation: It is cold if and only if Barbara is cooking. If it is not cold, then it is overcast. Barbara is not cooking. For all x, x is a musician. Therefore Susan is a musician and it is overcast.
p <-> q. ~p -> r. ~q. forall x: P(x). Therefore P(a) and r.