Табличный метод проверки правильности сложных умозаключений логики высказываний
Обновлено: 22.11.2024
Запись f= X означает, что формула X является логическим законом). Выполните упражнения 15—18 из Практикума. Есть другой способ. Вычеркнем все строчки, в которых хотя бы одна из посылок ложна (т.е. 1, 2, 3-ю и 7-ю): Следовательно, если в мире есть справедливость, он не может быть творением злого гения. Если в мире есть справедливость, злые люди не могут быть счастливы. Если мир сотворил злой… Читать ещё >
Ключевые слова:Проверка умозаключений табличным методом ( реферат , курсовая , диплом , контрольная )
Понятие логического следования является формальным уточнением (конкретизацией) понятия правильного умозаключения (см. гл. 1). Теперь мы дадим такое определение:
Умозаключение является правильным тогда и только тогда, когда из его посылок логически следует его заключение.
Таким образом, вопрос содержательного характера о правильности данного УЗ, состоящего из конкретных высказываний, сводится к вопросу формального характера о наличии отношения логического следования между формулами, логическими формами этих высказываний.
Покажем, как можно осуществлять проверку УЗ табличным методом. Пусть дано такое изящное УЗ (пример В. А. Бочарова и В. И. Маркина):
Если в мире есть справедливость, злые люди не могут быть счастливы.
Если мир сотворил злой гений, то злые люди могут быть счастливы.
Следовательно, если в мире есть справедливость, он не может быть творением злого гения.
Правильно ли оно? Чтобы ответить на этот вопрос, надо, выявив логические формы этих трех высказываний, установить, следует ли третье (заключение) из первых двух (посылок).
Логическая форма данного умозаключения:
Читайте также: