Wer entdeckt daß ein Satz p aus einem von der Form q ⊃ p ∙ q folgt der konstruiert ein neues Zeichen, das Zeichen dieser Regel. (Ich nehme dabei an, der || ein Kalkül mit p, q, ⊃ , ∙ , sei schon früher gebraucht worden, & nun träte diese Regel hinzu & schaffe damit einen neuen Kalkül.)

(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-112,41v[2]_n

RDF: http://wittgensteinsource.org/BTE/Ms-112,41v[2]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-112,41v[2]_n/json