©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
~P |- P→Q
F
alse
A
ntecedent
P |- ~P→Q
FA