Negacja.html

Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: $\neg\,p\,\!$ (lub $\sim p$ ). Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nieprawda, że p. Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.

Symbol negacji jako bramki logicznej:

Tablica prawdy (1 oznacza zdanie prawdziwe zaś 0 fałszywe):

p	¬ p
0	1
1	0

Złożenie dwóch negacji, daje w wyniku przekształcenie identycznościowe

$\neg\,(\neg\,p) = p$

Do oznaczenia negacji stosowana jest także angielska partykuła NOT (funkcja boolowska).

edytuj Zobacz też

Zobacz podręcznik na Wikibooks: Matematyka dla liceum - Logika

przegląd zagadnień z zakresu matematyki
rachunek zdań
prawa rachunku zdań
alternatywa
alternatywa wykluczająca
dysjunkcja
implikacja
koniunkcja
równoważność
Algebra Boole'a
kwantyfikator