Ist aber nun „ag ∙ ~ar” eine Tautologie? Wir müßten dies so schreiben:
ag
W
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.