Translate the following inference to logic notation: For all x, x_8 will take a plane or x_8 is an electrician. If William takes a plane, then Susan is playing a game. Susan is playing a game or William is not an electrician. Therefore Susan is playing a game.
forall x: P(x) or Q(x). P(a) -> p. p or ~Q(a). Therefore p.