逻辑中的Peirce 定律得名于哲学家和逻辑学家查尔斯·桑德斯·皮尔士。它被接受为他的第一个公理化命题逻辑中一个公理。这个公理可以用做排中律的替代者。 在命题演算中，Peirce 定律说的是 ((P→Q)→P)→P。 也就是说，如果你能证明 P 蕴含 Q 强制 P 是真的，则 P 必定是真的。 Peirce 的定律在直觉逻辑或中间逻辑中不成立的。在Curry-Howard同构中，Peirce 定律是一种续体运算。Peirce 定律的证明 在只使用否定和蕴涵运算符的命题演算中，A ∨ B 表示为 (A → B) → B。Peirce 定律等价于 (P → Q) ∨ P 也就是 ¬P ∨ Q ∨ P ，所以它是排中律的推论。