implikacija

implikacija (engl. implication; njem. Implikation; rus. импликация; znak  ili ), matematička logička funkcija kojom se povezuju dva suda. Implikacija dvaju sudova A i B (znakom A  B ili A  B) istinita je ako su oba suda istinita ili oba lažna, ili je prvi lažan a drugi istinit. → disjunkcija, → ekvivalencija,  → konjunkcija,  → negacija,  → istinosna tablica