パースの法則
(Peirce, the Collected Papers 3.384).
続いて、法則からただちに以下が得られることを指摘している:
From the formula just given, we at once get:
where the a is used in such a sense that (x → y) → a means that from (x → y) every proposition follows. With that understanding, the formula states the principle of excluded middle, that from the falsity of the denial of x follows the truth of x. (Peirce, the Collected Papers 3.384).
注意: ((x→y)→a)→x はトートロジーではない。しかし、[a→x]→[((x→y)→a)→x] はトートロジーである。