gignomai (gignomai) wrote,
gignomai
gignomai

Categories:

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

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

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

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

Tags: логика
Subscribe

  • Доспрошу про Афганистан

    gbook96 дал ссылку на интересный англоязычный ролик про неудачу США в Афганистане. Многое объясняет. Но все равно остаются вопросы: 1.…

  • (no subject)

    Как я уже писал, мы подаем заявку на президентский грант - чтобы учить учить музыке. Шансы я лично оцениваю скептически. Несмотря на то, что я весьма…

  • Считаю Россию

    И вот чем я занимаюсь, обессиленный жарой: изучаю поступление заявок на участие в том проекте, который. Считаю, сколько откуда - по областям и…

  • 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

  • Доспрошу про Афганистан

    gbook96 дал ссылку на интересный англоязычный ролик про неудачу США в Афганистане. Многое объясняет. Но все равно остаются вопросы: 1.…

  • (no subject)

    Как я уже писал, мы подаем заявку на президентский грант - чтобы учить учить музыке. Шансы я лично оцениваю скептически. Несмотря на то, что я весьма…

  • Считаю Россию

    И вот чем я занимаюсь, обессиленный жарой: изучаю поступление заявок на участие в том проекте, который. Считаю, сколько откуда - по областям и…