Translate the following inference to logic notation: Richard is not bored. For all x, x_2 is bored if and only if x_2 is a soldier. Therefore Richard is not a soldier.
~P(a). forall x: P(x) <-> Q(x). Therefore ~Q(a).