(p & q) ⌵ (p & ~q) ⌵ (~p & q) ⌵ (~p & ~q): Das wird meine Tautologie, und ich würde dann nur sagen, daß sich jeder “Satz || jedes “Gesetz der Logik” nach bestimmten Regeln auf diese Form bringen läßt. Das heißt aber dasselbe, wie || als: sich von ihr ableiten läßt; und hier wären wir bei der Russell'schen Art der Demonstration angelangt und alles, was wir dazusetzen ist nur, daß diese Ausgangsform selber kein selbständiger Satz ist und daß dieses und alle anderen “Gesetze der Logik” die Eigenschaft haben p & Log = p, p ⌵ Log = Log.

(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,270[2]_n

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

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