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

~(P→Q) -||- P & ~Q
Negated Arrow (Neg→)
~(P→~Q) -||- P & Q
Neg→
P→Q -||- ~(P & ~Q)
Neg→
P→~Q -||- ~(P & Q)
Neg→