June 6th, 2021

следует или вытекает

По учебнику логики Горбатова разобрался, в чем разница между импликацией и логическим следованием в формальной логике. Логическое следование - это когда при истинности посылки всегда истинно заключение. А импликация не требует истинности посылки: В истинно независимо от истинности А, т.е., в частности, из ложной посылки вытекает истинностть чего угодно (термин "следует" в определении импликации заменен на "вытекает", хотя в обыденном языке это синонимы). Признаюсь, что хотя я и усвоил это различие, мне оно, это формальное понятие импликации отвратительно ...
Забавно, что на сайте некоего Институту Фундаментальныз Наук дано такое определение:
Т.е. и они тоже :)

Логическое следование (импликация):

Высказывание, составленное из двух высказываний при помощи связки «если ..., то ...», называется логическим следованием, импликацией (импликация от латинского implico - тесно связываю).