Translate the following inference to logic notation: If Patricia were a musician, then Joseph is a nurse. If Joseph were a nurse, then Patricia is a musician. If Patricia were a musician, then Joseph is a nurse. Therefore if Joseph were a nurse, then Patricia is a musician.
p -> q. q -> p. p -> q. Therefore q -> p.