Translate the following inference to logic notation: It is cold or Elisabeth is poor. For all x, x_12 is poor if and only if x_12 is a writer. It is cold if and only if Elisabeth is a writer. Therefore Elisabeth is a writer.
p or P(a). forall x: P(x) <-> Q(x). p <-> Q(a). Therefore Q(a).