Prawo podwójnej negacji

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Prawo podwójnej negacji albo 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:

\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ń.

Niezgodności językowe[edytuj | edytuj kod]

Przykładem niezgodności języka polskiego z tym prawem jest zdanie "Nikt nie jest idealny.". Analizując je matematycznie uzyskamy podwójne zaprzeczenie, czyli powinno znaczyć to samo, co zdanie "Co najmniej jedna osoba jest idealna.", lecz według zasad językowych jest równoważne zdaniu "Wszyscy mają jakieś wady.". Wynika to z tego, że w języku polskim utrwaliła się pozorność podwójnego zaprzeczenia.

W języku angielskim podwójne zaprzeczenie funkcjonuje zgodnie z logiką. Poprawne jest więc zdanie "Nobody is perfect." (tłumacząc dosłownie "Nikt jest idealny.") jak i "Nobody isn't perfect." (tłumacząc dosłownie "Nikt nie jest idealny.").

Zobacz też[edytuj | edytuj kod]