подвійного заперечення закон

ПОДВІЙНОГО ЗАПЕРЕЧЕННЯ ЗАКОН — закон формальної логіки, за яким операція заперечення, двічі послідовно застосована до якогось судження, дає вихідне судження. Отже, подвійне заперечення рівнозначне ствердженню. Цей закон застосовують у двозначній логіці. В багатозначній логіці П. з. з. має дещо інший зміст, а в інтуїціоністській логіці не є логічним законом.