Translate the following inference to logic notation: For all x, y_2 is not bored. Thomas is bored if and only if Jennifer is an electrician. For all x, z will work if and only if z is an electrician. Therefore Jennifer is not working.
forall x: ~P(x). P(a) <-> Q(b). forall x: R(x) <-> Q(x). Therefore ~R(b).