Negacja

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Negacja (inaczej zaprzeczenie, ¬) – 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.

Tablica prawdy dla negacji:
p \! \neg p \!
0 1
1 0

gdzie:

1 – zdanie prawdziwe
0 – fałszywe

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). Zobacz też: bramka NOT.

Zobacz też[edytuj | edytuj kod]

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