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 = ‒ 1
Diese Sätze könnten einen beinahe glauben machen, man hätte es doch mit der gewöhnlichen Allgemeinheit & den Wahrheitsfunktionen zu tun, wenn es nicht klar wäre daß ihre Verifikation 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]_n

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

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