Translate the following inference to logic notation: For all x, y is a taxi driver if and only if y is a server. Robert is not a taxi driver. Karen is drinking water or Patricia is reading a book. Karen is not drinking water. Therefore Robert is not a server and Patricia is reading a book.
forall x: P(x) <-> Q(x). ~P(a). p or q. ~p. Therefore ~Q(a) and q.