Negacja, zaprzeczenie
Negacja (zaprzeczenie) to zdanie: "nieprawda, że p" i oznaczamy w następujący sposób: ~p
Przykład
| 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 fałszywe, 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
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
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ą
Zdania p oraz ~(~p) mają tę samą wartość logiczną
© medianauka.pl, 2008-05-25, ART-41
