Przykład: Niech zdanie oznacza: Warszawa jest stolicą Polski (jest to zdanie prawdziwe). Wówczas ma postać: Warszawa nie jest stolicą Polski (jest to zdanie fałszywe). Natomiast można zapisać: Nieprawda, że Warszawa nie jest stolicą Polski (jest to zdanie prawdziwe i równoważne zdaniu ).
Inne Negację zawierają też prawo kontrapozycji i prawa De Morgana.
Zobacz też
algebra Boole’a bramka NOT kwantyfikator
Przypisy
Bibliografia
Linki zewnętrzne
Kategoria:Działania jednoargumentowe Kategoria:Funkcje boolowskie Kategoria:Rachunek zdań