Translate the following inference to logic notation: If Robert takes a plane, then Linda is a soldier. For all x, x_7 is a soldier if and only if x_7 will drive a car. Therefore if Robert takes a plane, then Linda is driving a car.
p -> P(a). forall x: P(x) <-> Q(x). Therefore p -> Q(a).