Wenn ich die Zeichen “non” und “ & ” verstehe, so kann ich p|q durch non non p& non-p & non-q = p|q Def. erklären. Aber ich kann nun im Gebrauch der Form x|y so weit kommen, dass ich, um sie zu verstehen, die Uebersetzung in non-x & non-y nicht mehr vornehmen muss und dann ist die Definition obsolet geworden und damit gezeigt, dass sie von vornherein nicht unbedingt nötig gewesen wäre; denn alles was nötig war, war, die grammatischen Regeln für ‘x|y’ zu kennen.