(Ex)fx = (E1)xf(x) Def
    (Ex,y)fx & fy = ◇ (E1 + 1)xf(x) Def usw.
    Ferner:
     (En)xf(x) & non (En + 1)xf(x) = (n)xf(x) Def.
    Dann kann man z.B. schreiben:
(3)xFx & (4)xGx & non (Ex)Fx & Gx .C. (3 + 4)x.Fx . V . Gx
    Dies[w|e]r 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.com/BTE/Ts-208,18r[3]_d

RDF: http://wittgensteinsource.com/BTE/Ts-208,18r[3]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-208,18r[3]_d/json