Translate the following inference to logic notation: If Barbara cooks, then Patricia is writing a letter. Barbara is cooking if and only if it is sunny. For all x, x_10 will not write a letter. Therefore it is not sunny.
p -> P(a). p <-> q. forall x: ~P(x). Therefore ~q.