Welche Beziehung besteht denn zwischen dem Zeichen “ = Def” und jenem Gleich-
18
heitszeichen, welches durch Tautologie und Kontradikti[l|o]n erklärt wird?
   Ist für dieses Gleichheitszeichen “p & q = non[)|(]non.negp V 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.neg(non.negp & 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-208,17r[8]et18r[1]_d

RDF: http://wittgensteinsource.org/BTE/Ts-208,17r[8]et18r[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-208,17r[8]et18r[1]_d/json