Translate the following inference to logic notation: Thomas is playing a game. For all x, y will read a book if and only if y is an electrician. If Thomas plays a game, then Elisabeth is reading a book. Therefore Elisabeth is an electrician.
p. forall x: P(x) <-> Q(x). p -> P(a). Therefore Q(a).