
Negacja (zaprzeczenie) to zdanie: nieprawda, że p i oznaczamy w następujący sposób: ~p

| p | ~p |
| 5 jest liczbą parzystą (zdanie fałszywe) | Nieprawda, że 5 jest liczbą parzystą (zdanie prawdziwe) |
| 5 jest liczbą nieparzystą (zdanie prawdziwe) | Nieprawda, że 5 jest liczbą nieparzystą (zdanie fałszywe) |
| 1+1 jest równe zeru (zdanie fałszywe) | 1+1 nie jest równe zeru (zdanie prawdziwe) |
W wyniku negacji zdania prawdziwego otrzymujemy zawsze zdanie prawdziwe, a w przypadku zdania fałszywego - zdanie prawdziwe. Ilustruje to poniższa tabela:
| p | ~p |
| 0 | 1 |
| 1 | 0 |
Zdania p oraz ~p nazywamy także zdaniami sprzecznymi.
Warto znać następujące prawa:
|
Prawo sprzeczności. Z dwóch zdań: p oraz ~p co najmniej jedno jest fałszywe |
|
Prawo wyłączonego środka. Z dwóch zdań: p oraz ~p co najmniej jedno jest prawdziwe |
|
Prawo podwójnego zaprzeczenia Zdania p oraz ~(~p) mają tę samą wartość logiczną |
© Media Nauka, 2008-05-25
ART00018/41
![]() | ![]() |