Закон Пірса

Закон Пірса — один із законів класичної логіки, аналог законів подвійного заперечення і виключеного третього. Названий на честь американського логіка і філософа Чарльза Пірса.

Закон Пірса формально виглядає так:

$((P\to Q)\to P)\to P$

що означає: P повинно бути істинно, якщо слідування Q з P з необхідністю тягне P. Закон Пірса є тавтологією класичної логіки, однак при цьому як правило не виконується в некласичних логіках, зокрема в інтуїціоністській логіці. При цьому додавання закону Пірса до будь якої аксіоматики інтуїціонистської логіки, перетворює її в класичну. Те ж саме відбувається, при додаванні закону подвійного заперечення або закону виключеного третього. У цьому сенсі всі три закони еквівалентні. Однак у загальному випадку, існують логіки, в яких всі три закони нееквівалентні.