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