Translate the following inference to logic notation: Linda is an astronaut if and only if Elisabeth is a musician. If Joseph were a sailor, then Elisabeth is a musician. Linda is not an astronaut. Therefore Joseph is not a sailor.
p <-> q. r -> q. ~p. Therefore ~r.