皮尔士定律 逻辑中的皮尔士定律Peirces law得名于哲学家和逻辑学家查尔斯桑德斯皮尔士它被接受为他的第一个公理化命题逻辑中一个公理这个公理是排中律的推论 在命题演算中皮尔士定律说的是 PQPP 也就是说如果你能证明 P 蕴含 Q 强制 P 是真的则 P 必定是真的 皮尔士定律在直觉逻辑或中间逻辑中是不成立的在柯里霍华德同构中皮尔士定律是一种續體运算