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

 

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

Другое название: классическая импликация. В русском языке обычно передается сложным союзом “если ..., то ...”. В объектном языке обычно обозначается знаком “”.

С одной из возможных аксиоматизаций материальной импликации можно ознакомиться здесь.


2. Синтаксически корректное выражение (высказывание, высказывательная форма, формула), главным знаком которого является знак материальной импликации.
3. Знак операции "материальная импликация" (редко).

© Автор статьи.