/  
[Zu § 18 S. 76]

     Wenn ich erkläre “‘non-p’ ist wahr, wenn ‘p’ nicht wahr ist”, so setzt das voraus, dass ich verstehe, was es heisst, ‘p’ sei nicht wahr. Dann habe ich aber nichts getan als zu definieren:
non-p = ‘p’ ist falsch.

     Es kommt nämlich wesentlich darauf an, dass es nicht möglich ist, das Zeichen “p” auf der rechten Seite der Definition auszulassen, bezw. durch ein anderes zu ersetzen (es sei denn wieder durch eine // mit Hilfe einer // Definition). Solange das nicht möglich ist, kann und muss man auch die rechte Seite als Funktion auffassen von p, nämlich: ‘( )’ ist falsch.

     Das hängt auch damit zusammen, dass ja der Tintenstrich nicht falsch ist. Wie er schwarz oder krumm ist.