皮爾士定律

邏輯中的皮爾士定律 （ Peirce's law ） 得名於哲學家和邏輯學家查爾斯 · 桑德斯 · 皮爾士 。 它被接受爲他的第一個公理化命題邏輯中一個公理 。 這個公理可以用做排中律的替代者 。 在命題演算中 ， 皮爾士定律說的是 ( ( P → Q ) → P ) → P 。 也就是說 ， 如果你能證明 P 蘊含 Q 強制 P 是真的 ， 則 P 必定是真的 。 皮爾士定律在直覺邏輯或中間邏輯中是不成立的 。 在柯里 - 霍華德同構中 ， 皮爾士定律是一種續體運算 。