Translate the following inference to logic notation: For all x, if y were sad, then y is climbing a mountain. Jessica is a writer if and only if Patricia is climbing a mountain. Therefore if Patricia were sad, then Jessica is a writer.
forall x: P(x) -> Q(x). p <-> Q(a). Therefore P(a) -> p.