ラッセル−ヒルベルト流にしろ、ゲンツェン流にしろ、[PはＱを内含する]と
［Ｐでないか又はＱである］とが同義であると考えたのが、そもそもの誤り。

Ｐ：［リンカーン大統領は暗殺された］，
Ｑ：［リンカーン大統領 とケネディー大統領はともに暗殺された］
とおいてみよう。ＰはＱを内含しないことは、直観的に見て、明らかである。
即ち、この場合、［ＰはＱを内含する］は偽である。
他方、［Ｐでないか又はＱである］は真である。
一方が偽で他方が真である様な二つの命題が同義である筈はない。