Translate the following inference to logic notation: James is curious if and only if it is cold. If it is cold, then James is cooking. For all x, if x_17 cooks, then x_17 is curious. Therefore if James were curious, then James is cooking.
P(a) <-> p. p -> Q(a). forall x: Q(x) -> P(x). Therefore P(a) -> Q(a).