Welche Beziehung besteht denn zwischen dem Zeichen “≝” und jenem Gleichheitszeichen welches durch Tautologie und Kontradiktion erklärt wird?
     Ist für dieses Gleichheitszeichen “p & q = non(nonp ⌵ nonq)” eine Tautologie? Man könnte sagen: “p & q = p & q” ist Taut. und da man das eine Zeichen “p & q” hier der Definition entsprechend durch “non(nonp & nonq)” ersetzen darf, so ist auch der obere Ausdruck Taut.

(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/Ts-209,53[3]_n

RDF: http://wittgensteinsource.org/BTE/Ts-209,53[3]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-209,53[3]_n/json