Применение алгебры логики к анализу логических рассуждений

Предметом изучения логики является сам процесс построения логического вывода рассуждений, безотносительно к содержательному смыслу исходных высказываний.

Логика рассуждений зачастую бывает достаточно сложной. Для анализа ее правильности любое рассуждение должно быть представлено в формализованном виде.

Определение. Пусть Р12,..., Рk — некоторые исходные высказывания, которые могут быть как простыми, так и составными. Их называют посылками. На основании одновременной истинности посылок делается вывод о справедливости некоторого нового высказывания V, который называют заключением.

Если вывод делается только в одну сторону, от посылок к заключению (прямая посылка), то данное действие описывается при помощи логической связки “импликация” (®). Если же верна и обратная посылка от V к Р12,..., Рk, то их соединяют связкой «эквивалентность» (º). Это следует из тавтологии: (хºу) º (х®у) & (у®х) .

Определение. Получаемую формулу вида F = (Р1 & Р2 & … & Рk V (либо F=(Р1 & Р2 & .. &Рk ) º V) называют формулой логического заключения .

Очевидно, каждое конкретное рассуждение является частным случаем применения некоторой общей логической формулы. Рассмотрим примеры рассуждений и построим соответствующие им формулы логических заключений.

Пример 1. Пусть А, В, C — некоторые элементарные высказывания. Относительно них сформулировано следующее рассуждение: «если из справедливости А следует В, а из B следует C, то из А следует С».

Обозначив Р1 = А® В, Р2= В® С, V = А® C, получим формулу заключения вида: F =(А® В) & (В® С)®(А®C).

Пример 2. Высказано следующее рассуждение: «Если некоторая задача решена верно, то ответ будет правильный. Следовательно, из правильности ответа следует верность решения задачи».

Рассмотрим элементарные высказывания: А = «Задача решена верно», В = « Получен правильный ответ». Введя составные высказывания — посылку Р1 = А® В и заключение V = В® А, получим формулу вывода F =(А ® В) ®(В® А).

Определение. Логический вывод называют правильным, если соответствующая ему формула логического заключения является тавтологией.

Рассмотрим формулу заключения из примера 1. Проверим ее тавтологичность путем построения таблицы истинности соответствующей функции. После поэтапного ее построения получим, что F =(А® В) & (В® С)®(А®C) º1.

A B C Р1 =А® В Р2®С Р1&Р2 V=А®C F=Р1&Р2® V

Ответ: F — тавтология, поскольку реализующая ее функция тождественно равна 1. Рассуждения, основанные на ней, являются всегда правильным.

Проверим правильность формулы заключения из примера 2 путем построения векторов истинности посылки, заключения и итоговой функции, соответствующей F.

A B Р1= А® В V = В ® А F = Р1 ® V

F не является тавтологией, поэтому соответствующий ей логический вывод может давать неверные результаты. Например, посылка Р1может быть равна1 (если задача решена верно, то ответ всегда правилен), однако заключение V может быть неверным (правильный ответ может быть получен путем неверного решения). Поэтому при Р1 = 1 и V = 0 рассуждение будет неверно. Это соответствует ситуации, когда решение “подогнано под ответ”. Таким образом, использование неправильного логического вывода привело к тому, что в некоторых ситуациях неверно и конкретное рассуждение, основанное на нем.

Замечание.Правильность рассуждения в каком-либо конкретном случае не является достаточным условием правильности примененного в нем логического вывода. В частности, в Примере 2 можно рассмотреть ситуацию, когда Р1= 1 и V=1. Тогда F = Р1® V = 1, т.е. в данном случае рассуждение верно. Однако, если формула заключения F не является тавтологией, то всегда можно указать случаи, когда F = 0 и рассуждение не верно.

При всем многообразии рассуждений их формулы заключений, отражающие логику, обычно сводятся к нескольким наиболее распространенным видам. Рассмотрим их.








Дата добавления: 2015-10-05; просмотров: 930;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.006 сек.