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