Translate the following inference to logic notation: If Susan were a writer, then Thomas is running. For all x, if x goes running, then x is a taxi driver. Susan is a writer or Thomas is not a taxi driver. Therefore Susan is a writer if and only if Thomas is a taxi driver.
p -> P(a). forall x: P(x) -> Q(x). p or ~Q(a). Therefore p <-> Q(a).