/ /  
Dann kann man z.B. schreiben:

φ(3) ∙ ψ(4) ∙ ~(∃x) φx ∙ ψx ⊃ φψ φ(3 + 4) ⌵ ψ(3 + 4)
   (3)xφx ∙ (4)xψx ∙ ~(∃x) φx ∙ ψx ⊃ φψ(3 + 4)x ∙ φx ⌵ ψx
Dieser Ausdruck ist nicht dasselbe wie die Ersetzungsregel 3 + 4 = 7

 

(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-106,128[4]et130[1]_d

RDF: http://wittgensteinsource.org/BTE/Ms-106,128[4]et130[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-106,128[4]et130[1]_d/json