Die Regel “aus P folgt S” also P & S = P könnte man auch ganz gut weglassen: die Regel B tut denselben Dienst.
          Schreibt man S in der Form f0 & F0 . V . f1 & F1 . V . f2 & F2 . V . . V . …ad inf., so kann man mit grammatischen Regeln, die der gewohnten Sprache entsprechen, leicht P & S = P ableiten. Denn
(f0 & F0 . V . f1 & F1 etc. ad inf.) & P = f0 & F0 & P . V . f1 & F1 & P . V . etc. ad inf. = f0 & P . V . f1 & P . V . f2 & P . V . etc. ad inf. = P & (f0 V f1 ⌵ f2 V etc. ad inf.) = P. Der Satz
“f0 V f1 V f2 ⌵ etc. ad inf.” muss als Tautologie behandelt werden.