P⊃Q∼Q ∴P\begin{array}{l}P \supset Q \\\sim Q \\\ {\therefore} P\end{array}P⊃Q∼Q ∴P
P⊃Q∼P∴∼\begin{array}{l}P \supset Q \\\sim P \\\therefore \sim\end{array}P⊃Q∼P∴∼
P⊃Q∼Q∴∼P\begin{array}{l}P \supset Q \\\sim Q \\\therefore \sim P\end{array}P⊃Q∼Q∴∼P
P⊃QP∴∼Q\begin{array}{l}P \supset Q \\\quad P \\\therefore \sim Q\end{array}P⊃QP∴∼Q