Translate the following inference to logic notation: Patricia is a poet or Jessica is a musician. James is a carpenter if and only if Patricia is a poet. James is not a carpenter. If Patricia were a poet, then James is a carpenter. Therefore Jessica is a musician.
p or q. r <-> p. ~r. p -> r. Therefore q.