Translate the following inference to logic notation: If David were curious, then David is a scientist. For all x, if x_10 were curious, then x_10 is a scientist. For all x, if x_10 were a scientist, then x_10 is curious. Therefore David is a scientist if and only if David is curious.
P(a) -> Q(a). forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). Therefore Q(a) <-> P(a).