Welche Beziehung besteht denn zwischen dem Zeichen “ = Def” und jenem Gleichheitszeichen,
18
welches durch Tautologie und Kontradiktion erklärt wird?
     Ist für dieses Gleichheitszeichen “p & q = non(non.negp 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..