"Информатика", Босова Л.Л., Босова А.Ю.
В информатике, как и в математике, важно уметь строить правильные рассуждения. Следование – это основа логики, показывающая, как из одних утверждений можно сделать выводы о других. Это не просто угадывание, а строгий процесс, где заключение неизбежно вытекает из начальных данных. Мы разберем, что такое посылки и заключения, научимся выявлять логические ошибки и поймем, как следование помогает создавать правильные алгоритмы.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Следование – это логическая связь между утверждениями, при которой из одних утверждений (посылок) неизбежно следует другое (заключение). Представьте себе цепочку: если первое звено верно, то и все последующие тоже должны быть верны. Это фундаментальное понятие в логике, необходимое для построения правильных рассуждений.
Посылка – это утверждение, которое мы принимаем за истину, отправную точку для построения логических выводов. Это как исходные данные в задаче. Например, «Все млекопитающие дышат воздухом». Это утверждение мы предполагаем истинным и используем его для дальнейших рассуждений.
Заключение – это утверждение, которое мы выводим из посылок, используя правила логики. Заключение должно следовать из посылок, а не быть просто нашим мнением. Например, из посылки «Все млекопитающие дышат воздухом» и «Кит – млекопитающее» мы можем сделать заключение «Кит дышит воздухом».
Логический вывод – это сам процесс получения заключения из посылок, шаг за шагом, применяя правила логики. Это построение цепочки рассуждений, в которой каждый шаг оправдан и обоснован.
Чтобы понять, что такое логическое следование, важно осознать, что значит «неизбежность» заключения. Это значит, что если посылки верны, то заключение не может быть ложным. Если мы найдем хоть один случай, когда посылки истинны, а заключение ложно, значит, следования нет.
Убедиться в логичности вывода можно, проанализировав структуру рассуждений. Необходимо понимать, что важна не столько правда или ложь самих утверждений, сколько способ их связи между собой. Даже если посылка ложна, вывод из неё может быть логически верным (но, разумеется, заключение в этом случае может быть тоже ложным).
Простейшие формы логических выводов часто строятся на основе условных утверждений вида «если…то…». Например, «Если идет дождь, то дорога мокрая». Здесь «идет дождь» — это условие (посылка), а «дорога мокрая» — это следствие (заключение). Если условие выполняется, то и следствие должно выполняться.
Важно помнить, что из истинных посылок не всегда следует истинное заключение! Это происходит, когда логика построена неверно. Например, из посылок «Все коты любят молоко» и «Мурзик любит молоко» никак не следует, что Мурзик — кот. Мурзик может быть собакой, любящей молоко. Это пример ошибки рассуждения.
Ключевой момент в понимании следования — это осознание того, что это свойство *форм* утверждений, а не их содержания. Важен способ построения рассуждений, а не сама тема рассуждения. Одна и та же информация, представленная в разном порядке, может привести к разным выводам.
| Элементы | Описание | Пример |
|---|---|---|
| Посылки | Утверждения, принимаемые за истину | Если идёт дождь, то дорога мокрая. |
| Заключение | Утверждение, которое выводится из посылок | Дорога мокрая. |
| Логическая связь | Соединение посылок и заключения | Утверждается, что мокрая дорога является следствием дождя. |
| Истинность | Соответствие посылок и заключения действительности | Зависит от реальной ситуации (идет ли дождь). |
Эта таблица поможет вам визуализировать структуру логического следования и понять, как взаимосвязаны посылки и заключение. Используйте ее как шаблон для анализа ваших собственных рассуждений.
Задача 1: Посылка 1: Все коты – млекопитающие. Посылка 2: Мурзик – кот. Заключение: Мурзик – млекопитающее. Верно ли это?
Ответ: Да, это верно. Это пример простого дедуктивного вывода, в котором заключение неизбежно следует из посылок.
Задача 2: Посылка 1: Если человек болеет гриппом, то у него температура. Посылка 2: У Ивана температура. Заключение: Иван болеет гриппом. Верно ли это?
Ответ: Нет, это не верно. Это пример логической ошибки, когда следствие принимают за причину.
Задача 3: Посылка 1: Все птицы умеют летать. Посылка 2: Пингвин – птица. Заключение: Пингвин умеет летать. Верно ли это?
Ответ: Нет, это не верно. Этот пример показывает, что даже истинные посылки могут привести к ложному заключению, если область применимости правила слишком широка (не все птицы летают).
Необоснованный вывод – это когда заключение делается без достаточных оснований в посылках. Например, если вы видите, что на улице мокро, и делаете вывод, что прошел дождь, это может быть необоснованным, так как улица могла быть полита из шланга.
Поспешное обобщение – это когда вывод делается на основе недостаточного количества данных. Например, если вас укусила собака, и вы делаете вывод, что все собаки злые, это поспешное обобщение.
Ошибочное принятие следствия за причину – это путаница в причинно-следственных связях. Например, если вы видите, что люди болеют, и делаете вывод, что это из-за холодной погоды, это может быть ошибочным, так как болезнь могла быть вызвана вирусом.
Ложная дилемма – это представление ситуации как имеющей только два варианта, хотя их может быть больше. Например, утверждение «Либо ты с нами, либо против нас» - это ложная дилемма, так как существует множество других вариантов.
Основы логики: Следование тесно связано с общими понятиями логики, такими как суждения, утверждения и логические операции. Понимание этих основ необходимо для правильного анализа и построения рассуждений.
Программирование: В программировании логические операторы (И, ИЛИ, НЕ) и условия (если…то…) основаны на принципах логического следования. Правильное использование логики необходимо для написания алгоритмов, которые работают корректно.
Что значит, что одно утверждение следует из другого?
Это значит, что если первое утверждение (посылка) истинно, то и второе утверждение (заключение) тоже должно быть обязательно истинным. Связь между ними такая сильная, что не может быть ситуации, когда посылка верна, а заключение – нет. Это не просто совпадение, а закономерность.
Чем логический вывод отличается от простого предположения?
Предположение – это просто догадка, основанная на каких-то соображениях, но без строгих доказательств. Логический вывод – это шаг за шагом обоснованное заключение, где каждый шаг опирается на известные факты (посылки) и правила логики. Вывод – это претензия на истину, на которую есть аргументы.
Как понять, что заключение сделано верно?
Чтобы заключение было верным, нужно убедиться, что оно логически следует из посылок. Проверьте, не нарушены ли правила логики, и что посылка, действительно, приводит к выводу. Не должно быть места для сомнений: если посылки верны, заключение тоже должно быть верным.
В чем разница между истиной и логическим следованием?
Истина – это соответствие утверждения действительности. Логическое следование – это связь между утверждениями. Утверждения могут быть истинными или ложными, но даже если посылки ложные, вывод из них может быть логически верным (хотя и приводить к ложному заключению).
Как избежать ошибок в рассуждениях?
Внимательно анализируйте посылки и заключение. Проверяйте, все ли необходимые факты учтены. Обращайте внимание на причинно-следственные связи. Старайтесь избегать обобщений на основе малого количества данных. Будьте критичны к своим собственным выводам.
2.4.1. Следование
