Translate the following inference to logic notation: For all x, x will cook. If Thomas cooks, then Linda is a scientist. If Linda were a scientist, then Joseph is an electrician. Therefore Joseph is an electrician.
forall x: P(x). P(a) -> p. p -> q. Therefore q.