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