Translate the following inference to logic notation: For all x, if x_12 goes running, then x_12 is a politician. Linda is running or Linda is not a politician. Therefore if Linda goes running, then Linda is a politician.
forall x: P(x) -> Q(x). P(a) or ~Q(a). Therefore P(a) -> Q(a).