Translate the following inference to logic notation: David is driving a car or Charles is an artist. David is driving a car if and only if Charles is a scientist. For all x, x_13 is an artist if and only if x_13 is a scientist. Therefore Charles is a scientist.
p or P(a). p <-> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a).