Encyklopedia w MarkpolReklama: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): Złożenie dwóch negacji, daje w wyniku przekształcenie identycznościowe :: Do oznaczenia negacji stosowany jest także angielski spójnik NOT. Chcesz wypromować swoją stronę w internecie?? - nie zwlekaj pozycjonowanie w Luman.biz to rozsądny wybór |
|