Translate the following inference to logic notation: If Patricia plays squash, then Karen is taking a plane. Patricia is playing squash or Karen is not taking a plane. Karen is taking a plane. Therefore Patricia is playing squash.
p -> q. p or ~q. q. Therefore p.