Translate the following inference to logic notation: Patricia is a scientist or John is not reading a book. John is reading a book if and only if Patricia is a scientist. Therefore if Patricia were a scientist, then John is reading a book.
p or ~q. q <-> p. Therefore p -> q.