Translate the following inference to logic notation: It is windy if and only if Robert is an artist. Elisabeth is a doctor if and only if it is windy. For all x, y is not a doctor. Therefore Robert is not an artist or Robert is a musician.
p <-> q. P(a) <-> p. forall x: ~P(x). Therefore ~q or r.