©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P ↔ Q, ~P |- ~Q
B
iconditional
T
ollens
P ↔ Q, ~Q |- ~P
BT