©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P→Q, ~Q |- ~P
M
odus
T
ollendo
T
ollens
P→~Q, Q |- ~P
MTT
~P→Q, ~Q |- P
MTT
~P→~Q, Q |- P
MTT