Translate the following inference to logic notation: For all x, if x_10 were a soldier, then x_10 is poor. For all x, x_10 is not poor. For all x, if x_10 were poor, then x_10 is a soldier. It is snowing if and only if James is a soldier. Therefore it is not snowing.
forall x: P(x) -> Q(x). forall x: ~Q(x). forall x: Q(x) -> P(x). p <-> P(a). Therefore ~p.