​ 
Ja sagt denn eben (∃x)fx ⌵ fa = (∃x)fx nicht, daß fa schon in (∃x)f[a|x] enthalten ist? Zeigt es eben nicht die Abhängigkeit des fa von (∃x)fx? Nein, außer wenn (∃x)fx als logische Summe definiert ist (mit einem Summanden fa). – Ist das der Fall, so ist (∃x)fx (
nur
weiter nichts als
) eine Abkürzung.

 

(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-111,63[4]_d

RDF: http://wittgensteinsource.com/BTE/Ms-111,63[4]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-111,63[4]_d/json