Логическая операция импликация в компьютерных системах работает следующим образом: она связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия. 12

Результатом импликации является ложь только тогда, когда условие истинно, а следствие ложно. 1