©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P→Q, P→~ Q |- ~P
I
mpossible
A
ntecedent