©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P v Q -||- ~P→Q
v→
P v Q -||- ~Q→P
v→
P v ~Q -||- Q→P
v→