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

~P |- P→Q
False Antecedent
P |- ~P→Q
FA