Translate the following inference to logic notation: Elisabeth is a bartender if and only if James is taking a plane. James is taking a plane. Linda is not playing tennis. Elisabeth is a bartender if and only if Linda is playing tennis. Therefore Linda is an astronaut.
p <-> q. q. ~r. p <-> r. Therefore s.