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

закон формальної логіки, за яким операція заперечення, двічі послідовно застосована до якогось судження, дає вихідне судження