​ 
⌊⌊ ~(x)~φx ∙ (x,y)~(φx ∙ φy) ∙
~(x)~ψx ∙ (xy)~(ψx ∙ ψy) ∙      (x) ∙ ~(φx ∙ ψx)         ⊃
~(x,y) ~[(|[]φx ⌵ ψx ∙ φy ⌵ ψy] ∙
~(xyz) ~[φx ⌵ ψx ∙ φy ⌵ ψy ∙ φz ⌵ ψz] ⌋⌋










 

(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-106,151[1]_d

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

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