5.5321
Statt „(x):fx ⊃ x = a” schreiben wir also z.B. „fa: ~(∃x,y).fx.fy”.
Und der Satz „nur Ein x befriedigt f( = )” lautet: „(∃x).fx: ~(∃x,y).fx.fy”.

(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/Ts-202,37r[9]_n

RDF: http://wittgensteinsource.org/BTE/Ts-202,37r[9]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-202,37r[9]_n/json