Translate the following inference to logic notation: For all x, y will not write a letter. Patricia is a soldier or it is cloudy. Patricia is a soldier if and only if Richard is writing a letter. Therefore it is cloudy.
forall x: ~P(x). p or q. p <-> P(a). Therefore q.