Translate the following inference to logic notation: If Barbara were a scientist, then Linda is a janitor. If Linda were a janitor, then Barbara is a scientist. If Linda were a janitor, then Barbara is a scientist. Therefore if Barbara were a scientist, then Linda is a janitor.
p -> q. q -> p. q -> p. Therefore p -> q.