Concerning this topic I commonly see the logic:

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