Импликация

Импликация (Implication) - егер бірінші операнд «жалған», ал екіншісі «ақикат» мәнге ие болса, онда нәтиже «жалған» мәнге ие болатын екі орынды буль операциясы.

Импликацияны терістеу (Отрицание импликации; Implication) — тек А ақиқат, ал В жалған болғанда ғана ақиқат мәнді қабылдайтын А және В екі айнымалының логикалық функциясы.