​ 
     The Notation is:

for (x) φx; a ‒ (x) ‒ a φ x b ‒ (∃ x) ‒ b
and


for (φ ∃x) φx : a ‒ (∃x) ‒ a φ x b ‒ (x) ‒ [v|b]



 

(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-201a1,a6[1]_d

RDF: http://wittgensteinsource.com/BTE/Ts-201a1,a6[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-201a1,a6[1]_d/json