/ ?  
Das scheint hier unmöglich zu sein.

x + y = 2            (x + y)² = 2(x² + y²)
x ‒ y = 3                x = y

   Haben wir hier nicht schon solche Fälle?!
(∃x,y)x + y = 2 & x ‒ y = 3
(x,y):x = y . ≡ . (x + y)² = 2(x² + y²)
(x):[(|x²] + 3x + 2 = 0 . ≡ . x = ‒ 2 ⌵ x = ‒ [3|1]
Diese Sätze könnten einen beinahe glaben machen, man hätte es doch mit der gewöhnlichen Allgemeinheit & den Wahrheitsfunktionen zu tun, wenn es nicht klar wäre daß ihre Verification auf internem Weg geschieht. Z.B. durch Ausrechnung der Gleichung x² + 3x + 2 = 0 etc. So leitet uns der Schein dieser Notation immer irre.

 

(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-105,6[4]et8[1]_d

RDF: http://wittgensteinsource.com/BTE/Ms-105,6[4]et8[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-105,6[4]et8[1]_d/json