パースの法則
パース自身による法則の言明:
A fifth icon is required for the principle of excluded middle and other propositions connected with it. One of the simplest formulae of this kind is:
This is hardly axiomatical. That it is true appears as follows. It can only be false by the final consequent x being false while its antecedent (x → y) → x is true. If this is true, either its consequent, x, is true, when the whole formula would be true, or its antecedent x → y is false. But in the last case the antecedent of x → y, that is x, must be true.