(p ∙ q) ⌵ (p·~q) ⌵ (~p ∙ q) ⌵ (~p ∙ ~q): das wird meine Tautologie, & 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 als || wie: sich von ihr ableiten läßt; & hier wären wir bei der Russellschen Form || Art der Demonstration angelangt & alles, was wir dazusetzen ist nur, daß diese Form || diese Ausgangsform selber kein Satz || selbständiger Satz ist & daß dieses & alle anderen „Sätze || 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.org/BTE/Ms-110,237[2]_n

RDF: http://wittgensteinsource.org/BTE/Ms-110,237[2]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-110,237[2]_n/json