Die Regel “aus Π folgt S” also Π & S = Π 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 Π & S = Π ableiten. Denn
(f0 & F0 . ⌵ . f1 & F1 etc. ad inf.) & Π = f0 & F0 & Π . ⌵ . f1 & F1 & Π . ⌵ . etc. ad inf. = f0 & Π . ⌵ . f1 & Π . ⌵ . f2 & Π . ⌵ . etc. ad inf. = Π & (f0 ⌵ f1 ⌵ f2 ⌵ etc. ad inf.) = Π. Der Satz
“f0 ⌵ f1 ⌵ f2 ⌵ etc. ad inf.” muß als Tautologie behandelt werden.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.



To cite this element you can use the following URL:


BOXVIEW: http://wittgensteinsource.com/BTE/Ts-211,568[1]_n

RDF: http://wittgensteinsource.com/BTE/Ts-211,568[1]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-211,568[1]_n/json