Z Wikipedii

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

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

[edytuj] Zobacz też

• 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

4000 GB w zsypie

Serwer, z którego nielegalnie można było pobrać 4000 gigabajtów nielegalnych gier, filmów, muzyki i programów zabezpieczyli policjanci z KWP. Administratorowi i właścicielowi serwera grozi do pięciu lat więzienia.

Społecznościowy antywirus?

Czy możliwe jest wykorzystanie potencjału społeczności internetowych, lub użytkowników sieci do ochrony komputera przed zagrożeniami płynącymi z sieci? Producent oprogramowania antywirusowego, Panda Security, właśnie takie rozwiązania planuje wprowadzić w swoich najnowszych produktach.

Mozilla aktualizuje Thunderbird'a

W ostatnią środę Mozilla udostępniła na swoich serwerach najnowszą wersję programu pocztowego Thunderbird 2.0.0.16, wzbogaconą o dziewięć zasadniczych poprawek.

Internetowy tablet z Firefoksem

Michael Arrington planuje stworzyć stylowy tablet, który służyć ma wyłącznie do surfowania w internecie.

Wielofunkcyjna stacja dokujÄ…ca

Stacje dokujące i huby USB to urządzenia przygotowane z myślą o osobach, którym ciągle brakuje gniazd przyłączeniowych.

Linki: Strona g³ówna