(∃x) φx ∙ (∃x) ψx ∙ ~(∃x) φx ∙ ψx ⊃ φψ(∃x,y) φx ∙ ψy.
Ist das auch eine Anwendung von 1 + 1 = 2?
     Wenn ich hier statt „(∃xy)” „(∃2x)” schreiben will so geht es nicht.

(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-106,124[3]_n

RDF: http://wittgensteinsource.com/BTE/Ms-106,124[3]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-106,124[3]_n/json