b'\n_START_ARTICLE_\nNegacja\n_START_PARAGRAPH_\nNegacja (z \xc5\x82ac. negatio inaczej zaprzeczenie, \xc2\xac) \xe2\x80\x93 zdanie maj\xc4\x85ce posta\xc4\x87 nieprawda, \xc5\xbce p, gdzie p jest zdaniem. W rachunku zda\xc5\x84 negacja zapisywana jest jako:  (tak\xc5\xbce  lub ). Negacj\xc4\x99 mo\xc5\xbcna zdefiniowa\xc4\x87 \xc5\x9bci\xc5\x9blej jako jednoargumentowe dzia\xc5\x82anie (funktor zdaniotw\xc3\xb3rczy) okre\xc5\x9blone w zbiorze zda\xc5\x84, kt\xc3\xb3re ka\xc5\xbcdemu zdaniu p przyporz\xc4\x85dkowuje zdanie nie p. Inne przyj\xc4\x99te sposoby odczytywania zdania  to nieprawda, \xc5\xbce p i nie jest tak, \xc5\xbce p.\n_START_SECTION_\nW\xc5\x82asno\xc5\x9bci\n_START_PARAGRAPH_\nW klasycznym rachunku zda\xc5\x84 poni\xc5\xbcsze w\xc5\x82asno\xc5\x9bci s\xc4\x85 tautologiami (zdaniami zawsze prawdziwymi, bez wzgl\xc4\x99du na warto\xc5\x9bci logiczne zda\xc5\x84 sk\xc5\x82adowych).'