gignomai (gignomai) wrote,
gignomai
gignomai

Categories:

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

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

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

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

Tags: логика
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 37 comments