Translate the following inference to logic notation: For all x, x_7 is an electrician if and only if x_7 is a taxi driver. Linda is not an electrician. Karen is a soldier if and only if Linda is a taxi driver. Therefore Karen is not a soldier.
forall x: P(x) <-> Q(x). ~P(a). p <-> Q(a). Therefore ~p.