[qsort]

GP's reasoning is by modus tollens.

[alldayeveryday]

Concerning this topic I commonly see the logic:

If P, then Q. Not Q. But still, P.