Translate the following inference to logic notation: For all x, x_12 will read a book if and only if x_12 is a carpenter. Susan is a carpenter or Susan is not reading a book. Therefore Susan is a carpenter if and only if Susan is reading a book.
forall x: P(x) <-> Q(x). Q(a) or ~P(a). Therefore Q(a) <-> P(a).