Словарь по логике

Импликация: 1. Двухместная логическая операция, представляющая одну из возможных формализаций отношения логического следования.
К настоящему времени описаны различные виды и классы импликаций: материальная (классическая), интуиционистская, релевантные, паранепротиворечивые и др. Обычно неклассические импликации формулируются так, чтобы на множестве классических значений они совпадали с материальной (классической) импликацией. С некоторыми из основных видов импликации (их аксиоматикой и соотношением по дедуктивной силе) можно ознакомиться ЗДЕСЬ.
2. Синтаксически корректное выражение (высказывание, высказывательная форма, формула), главным знаком которого является знак импликации.
3. Знак операции "импликация" (редко).