©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P ↔ Q, P |- Q
B
iconditional
P
onens
P ↔ Q, Q |- P
BP