∣ –  
6˙1201
Daß z.B. die Sätze „p” und „/p” in der Verbindung „/(p ∙ /p)” eine Tautologie ergeben, zeigt daß sie einander widersprechen. Daß die Sätze „p[:|C]q”, „p” und „q” i[m|n] Satze ˇder Form „(pCq) ∙ (p):C:(q)” mit einander
117
verbunden eine Tautologie ergeben, zeigt daß „q” aus p und pCq folgt. Die Tautologie ˇDaß „(x) ∙ fx:C:fa” eine Tautologie ist, zeigt daß fa aus (x) ∙ fx folgt. etc. etc..
 

(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/Ms-104,116[7]et117[1]_d

RDF: http://wittgensteinsource.com/BTE/Ms-104,116[7]et117[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-104,116[7]et117[1]_d/json