Translate the following inference to logic notation: For all x, x_7 will work if and only if x_7 is an astronaut. Patricia is not an astronaut. Patricia is working if and only if Linda is reading a book. Therefore Linda is not reading a book.
forall x: P(x) <-> Q(x). ~Q(a). P(a) <-> p. Therefore ~p.