Translate the following inference to logic notation: Patricia is a soldier or Charles is not taking a plane. Patricia is not a soldier. If Patricia were a soldier, then Charles is taking a plane. Therefore Charles is not taking a plane.
p or ~q. ~p. p -> q. Therefore ~q.