Prawo podwójnego przeczenia, prawo podwójnej negacji Jerzy Tiuryn, Jerzy Tyszkiewicz i Paweł Urzyczyn, Logika dla informatyków (PDF), Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (MIM UW), mimuw.edu.pl, październik 2006 [dostęp 2025-09-26] – s. 5. – wspólna nazwa dwóch praw logiki: słabe prawo podwójnego przeczenia:
silne prawo podwójnego przeczenia:
W klasycznym rachunku zdań (KRZ) zachodzą oba prawa – są tautologiami tej teorii. Bywają łączone w jedną równoważność znaną jako zasada podwójnego przeczenia. Istnieje też intuicjonistyczny rachunek zdań (IRZ), w którym obowiązuje tylko wersja słaba.
Podwójne przeczenia w logice intuicjonistycznej Prawo słabe Słabe prawo podwójnego przeczenia jest tezą rachunku intuicjonistycznego: {| cellspacing=15 |1. | |prawo redukcji do absurdu |- |2. | |prawo poprzedzania |- |3. | |reguła odrywania: 1,2 |- |4. | |sylogizm Fregego |- |5. | |reguła odrywania: 3,4 |- |6. | |prawo przepełnienia |- |7. | |reguła odrywania: 5,6