подразумевание, подтекст, неявное присутствие, существование чего-либо
логическая функция, описывающая следование одного высказывания из другого
имплик·-ациj·+я·
имплика́ция
Ян садился = «Ян производил такой ряд действий (движений), что если бы он произвел все действия этого ряда, то наступило бы событие „Ян сел“»: в толковании предельного глагола есть импликация («если бы …, то»), которой нет у непредельного…
Если утверждение A истинно, а утверждение B ложно, то импликация A ⇒ B ложна; во всех остальных случаях импликация истинна (в частности, даже в том случае, если оба утверждения A и B ложны!).
Ещё одно отличие трехзначной логики от булевой состоит в отсутствии функциональной полноты (не все функции алгебры логики могут быть выражены через операции импликации и отрицания).