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