чем отличается импликация от логического следования?

Answer 1

Импликация - логическая функция, значение которой можно вычислить для любых двух логических аргументов.
Логическое следование это конструкция, говорящая о том, что одно логически выводится из другого. Иногда для доказательства выводимости прибегают к импликации.
Например, есть ряд гипотез А, B, C. Надо доказать, что из этой системы логически следует D.
{A, B, C} |= D
Здесь символ " |= " это знак логического следствия.
Если мы работаем с исчислением высказываний, А, В, С, D - выполнимые формулы, принимающие значения истины на одних и тех же наборах, то задачу доказательства можно переписать через импликацию:
 ABC - D = 1