​ 
  The prop. (∃x)φx . x = a : ≡ : φa can be seen to be a tautology, if one expresses the conditions of the truth of (∃x).φx . x = a, successively, e.g. by saying: This is true if so & so; that & this again is true, if so & so. ˇetc. for (∃x).φx . x = a; and then also for φy. To express the matter in this way is itself a cumbrous notation,
of wh.
wh. is what is expressed more neatly b
 the a–b notation is a neater translation.

 

(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-301,26[1]_d

RDF: http://wittgensteinsource.org/BTE/Ms-301,26[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-301,26[1]_d/json