If$upper P$then$upper Q$ $right double arrow$if not $upper Q$then not$upper P$.

Harrison, John. Handbook of practical logic and automated reasoning. Cambridge University Press, 2009.