Welche Beziehung besteht denn zwischen dem Zeichen
“ = Def” und jenem
Gleich
heitszeichen,18
welches durch Tautologie und
Kontradikti
on 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
..