Aus der letzten Erklärung der Verneinung folgt daß nur alle Sätze welche nur von p abhängig sind und es || p nicht bejahen || alle von p allein abhängigen Sätze welche p nicht bejahen – und nur solche –, p verneinen. Also sind „p ∙ ~p” und „p ⌵ ~p” keine Sätze, denn, das erste Zeichen bejaht weder noch verneint es p und das zweite würde || müßte beide bejahen.