Ist aber nun „ag ∙ ~ar” eine Tautologie? Wir mußten dies so schreiben:
ag
W
[F|W]
F
F
ar
W
F
W
F

F
W
F
F
dagegen aber ag ⊃ ~ar so:

ag
W
W
F
F
ar
W
F
W
F

F
W
W
W
dieser Satz wird also durch den Wegfall der ersten Linie zur Tautologie