568
     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 .. f1 & F1 . . f2 & F2 .. .. …ad inf., so kann man mit grammatischen Regeln, die der gewohnten Sprache entsprechen, leicht P & S = P ableiten. Denn
      (f0 & F0 .. f1 & F1 etc. ad inf.) & P = f0 & F0 & P .. f1 & F1 & P .. .. etc. ad inf. = f0 & P .. f1 & P .. f2 & P .. etc. ad inf. = = P & (f0 f1 f2 etc. ad inf.) = P. Der Satz
“f0 f1 f2 etc. ad inf.” muß als Tautologie behandelt werden.