Prawo podwójnej negacji
Z Wikipedii, wolnej encyclopedia
Prawo podwójnej negacji lub prawo podwójnego zaprzeczenia – reguła rachunku zdań, która stwierdza, że zaprzeczenie negacji zdania jest tym samym zdaniem (bardziej formalnie: jest równoważne ze zdaniem wyjściowym).
Zasugerowano, aby zintegrować ten artykuł z artykułem Prawo podwójnego przeczenia (dyskusja).
|
Symbolicznie:
Na przykład, zdanie „nieprawda, że nie pójdę do kina” mówi to samo, co zdanie „pójdę do kina”.
Prawo podwójnej negacji jest tautologią rachunku zdań.