Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: $\backslash neg\backslash ,p\backslash ,\backslash !$ (lub $\backslash 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:

Bramka log NOT.jpg

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

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

$\backslash neg\backslash ,\backslash neg\backslash ,p\; =\; p$

Do oznaczenia negacji stosowana jest także angielska partykuła NOT.

Zobacz też

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

Logika | Elektronika_cyfrowa

Negation | Negation | Eitus | Negation | Puerta lógica#Puerta NO (NOT) | Négation logique | Negazione | לא (לוגיקה) | Логичка негација | Negatie | 否定 | Negasjon | Logisk negation | นิเสธ | 逻辑非