|
При наличии предметных данных и информации возможно применение логических методов ИСУ. Логика дает схему и способы проведения правильных умозаключений. Логические конструкции: Если…, то … или …. …либо… …ни…ни … тогда и только тогда, когда …. …неверно, что… При формулировке какого-либо заключения используются импликации: Предположение, состоящее из 2 соединенных выражений «или» — дизъюнкция или неисключающая альтернатива. Она может быть многочисленной. Конъюнкция –3 Эквивалентность – 6 Исключающая альтернатива –4 Отрицание – 7 Одновременное отрицание – 5. Существует 2 метода получения верных умозаключений: - Использование правил выбора
- Использование логических законов.
Логические правила – предписания, позволяющие признавать правильными предположения, образованные из данных в зависимости от того, какой вид имеют предложения, уже признанные истинными. Правило отделения – основное правило верного умозаключения. Рассуждение правильное, если из 2 посылок, среди которых одна – импликация, а другое – условие этой импликации, выводится предложение, совпадающее с заключением той же импликации. Т. е. мы получаем заключение импликации в качестве самостоятельного истинного утверждения. Законы логики предложений – схемы построения истинных сложных предложений. Вместо простых предложений в составе сложного существует символы. Т. е. такие, что если на их место поставить произвольные предложения, получится истинное сложное предложение. Закон непротиворечивости, т. е. 2 противоречащих предложения не могут быть истинными одновременно. Закон двойного отрицания. Если отрицать дважды какое-то предложение, то получится, что высказывается первоначальное предложение. Законы, характеризующие конъюнкцию. Она перестановочна, т. к. ее члены можно менять местами. Законы импликативных символов. Импликации могут быть посылками умозаключений и заключениями. В рассуждениях важны такие теоремы логики, которые позволяют из двух посылок, являющихся импликативными, сделать некоторый вывод, являющийся импликацией. |