Elementary Geometry for College Students (6th Edition)

If $\angle ABC$ is a right angle, then AB is perpendicular to BC.
P: AB is not perpendicular to BC Q: $\angle ABC$ is not a right angle If P then Q. The contrapositive is also true: If not Q, then not P. If $\angle ABC$ is a right angle, then AB is perpendicular to BC.