Translate the following inference to logic notation: Joseph is not writing a letter. James is a scientist if and only if Joseph is a sailor. For all x, x_7 will write a letter if and only if x_7 is a sailor. Therefore James is not a scientist.
~P(a). p <-> Q(a). forall x: P(x) <-> Q(x). Therefore ~p.