Translate the following inference to logic notation: If Patricia were a taxi driver, then Karen is taking a plane. If Karen takes a plane, then Patricia is a taxi driver. Therefore if Patricia were a taxi driver, then Karen is taking a plane.
p -> q. q -> p. Therefore p -> q.