Wtorek, 12 październik 2021, 11:18
^
Prawo podwójnej negacji.
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).
Symbolicznie:
¬ ( ¬ p ) ⟺ p {\displaystyle \neg \left(\neg p\right)\Longleftrightarrow p} {\displaystyle \neg \left(\neg p\right)\Longleftrightarrow p}
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ń.
Prawo podwójnej negacji.
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).
Symbolicznie:
¬ ( ¬ p ) ⟺ p {\displaystyle \neg \left(\neg p\right)\Longleftrightarrow p} {\displaystyle \neg \left(\neg p\right)\Longleftrightarrow p}
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ń.
Radek