negacija

negacija (engl. negation; njem. Negation; rus. отрицание; znak ¬), matematička logička funkcija kojom se povezuju dva suda u značenju ne dajući novi sud. Negacija dvaju sudova, tj. tvrdnja da je sud B suprotan sudu A (znakom B ¬ A, ili B = Â), istinita je ako je sud B istinit, a sud A lažan, ili obrnuto. → disjunkcija, → ekvivalencija, → implikacija, → konjunkcija, → istinosna tablica