Translate the following inference to logic notation: Robert is a lawyer or Thomas is curious. For all x, if x_10 were curious, then x_10 is playing squash. Robert is a lawyer if and only if Thomas is playing squash. Therefore Thomas is playing squash.
p or P(a). forall x: P(x) -> Q(x). p <-> Q(a). Therefore Q(a).