− | Under the existential interpretation of Peirce's [[logical graphs]], Peirce's law is represented by means of the following formal equivalence or logical equation. | + | Under the existential interpretation of Peirce's [[logical graph]]s, Peirce's law is represented by means of the following formal equivalence or logical equation. |