имплика́ция

[< лат. implicatio сплетение, переплетение]

1. Лог.Логическая операция конструирования из двух исходных (посылки и следствия) нового высказывания, являющегося ложным только в тех случаях, когда посылка истинна, а следствие ложно; сконструированное высказывание; бинарная логическая связка "если, то", соответствующая данной операции; знак, обозначающий эту логическую связку.

Два элементарных высказывания связаны импликацией. Импликация ложна. Установление истинности импликации. Импликации трехзначной логики.