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 fo &
Fo . 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
(fo &
Fo . V . f1 & F1
etc. ad inf.)
& P =
fo & Fo & P
. V . f1 & F1 & P
. V . . V . etc. ad inf.
= fo & P . V . f1 & P
. V . f2 & P . V . etc.
ad inf. = = P & (fo
V f1 V f2 V etc. ad
inf.) = P.
Der Satz
“fo V f1 V f2
V etc. ad inf.”
muss als Tautologie behandelt werden.