Логика. Учебное пособие

23. Что представляет собой логическая процедура формализации высказывания или рассуждения? Придумайте какое-нибудь рассуждение и совершите его формализацию. Формализуйте следующие рассуждения.

а) Если какое-либо вещество является металлом, то оно электропроводно. Медь является металлом. Следовательно, медь электропроводна.

б) Известный английский философ Фрэнсис Бэкон жил в XVII веке или в XV веке, или в XIII веке. Фрэнсис Бэкон жил в XVII веке. Следовательно он не жил ни в XV веке, ни в XIII веке.

в) Если ты не упрям, то ты можешь изменить свое мнение. Если же ты можешь изменить свое мнение, то ты способен признать данное суждение ложным. Следовательно, если ты не упрям, то ты способен признать данное суждение ложным.

г) Если сумма внутренних углов геометрической фигуры равна 180° то такая фигура является треугольником. Сумма внутренних углов данной геометрической фигуры не равна 180°. Следовательно, данная геометрическая фигура не является треугольником.

д) Леса бывают хвойными или лиственными, или смешанными. Этот лес не лиственный и не хвойный. Следовательно, этот лес смешанный.

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

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

26. С помощью построения таблицы истинности определите вид формулы, и, соответственно, – логическую верность того рассуждения, которое она выражает.

а) Если горная порода длительное время подвергается воздействию солнечных лучей, то она разрушается. Данная горная порода не подвергалась длительное время воздействию солнечных лучей. Следовательно, она не разрушается.

б) Когда человек льстит, он лжет. Когда человек лжет, он умышленно искажает истину. Следовательно, когда человек льстит, он умышленно искажает истину.

в) Призовое место займет команда «Спартак» или команда «Динамо». Однако, известно, что призовое место займет команда «Спартак». Следовательно, команда «Динамо» не займет призовое место.

г) Он изучает английский или немецкий. Он изучает английский. Следовательно, он не изучает немецкий.

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

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

а) Когда был открыт закон всемирного тяготения?

б) Смогут ли жители Земли расселиться на других планетах Солнечной системы?