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