©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.

P→Q, P→~ Q |- ~P
Impossible Antecedent