Тема 3. Суждение. Отношения между суждениями.
План
Понятие суждения. Виды простых суждений. Распределенность терминов в суждениях.
Сложные суждения.
Отношения между суждениями. Логический квадрат.
Преобразование суждений.
Домашнее задание
Решить задачи и упражнения по теме «Суждение»:
1. Установите вид высказывания по характеру суждения:
а) Все кошки – млекопитающие.
б) Некоторые множества бесконечны.
в) «Истина сильнее царя» (А. С. Пушкин).
г) Сравнение – это мысленная операция.
д) Крот не имеет зрения.
е) Каждый человек моложе своих родителей.
ж) Кентавры не существуют.
з) «Черные дыры» существуют.
2. Тождественны ли следующие высказывания по качеству: «Это рассуждение не является правильным» и «Это рассуждение является неправильным»?
3. Установите качество следующих высказываний:
а) Древние финикийцы основали город Карфаген.
б) Большинство наблюдений подтвердило это предположение.
в) Никто его не любит.
г) Жизнь – это способ существования белковых тел.
д) В любой библиотеке есть книги, к которым обращаются очень редко.
е) Среди диких растений флоры нашей страны есть такие, что представляют большую ценность для медицины.
ж) Многие выдающиеся математики не приняли неевклидовой геометрии.
з) «Египтяне, принадлежащие к храмовому округу Мендеса, не употребляют в пищу козьего молока» (Геродот. История).
4. Приведите следующие высказывания к одной из четырех форм (А, Е, I, О) и выразите в символическом виде, используя кванторы:
а) Имеются приборы, преобразующие ультразвук в звук, слышимый человеком.
б) Противники материалистического мировоззрения утверждают, что мир непознаваем.
в) Некоторые проблемы человеческой истории до сих пор не решены.
г) «Ни один ученый не мыслит формулами» (А. Эйнштейн).
5. Образуйте истинные высказывания форм А, Е, I, О из следующих пар понятий:
а) Крупный промышленный центр (S), город республиканского подчинения (Р).
б) Эллипс (S), коническое сечение (Р).
в) Коническое сечение (S), эллипс (Р).
г) Планета Солнечной системы (S), тело, движущееся по круговой орбите (Р).
6. Составьте высказывания вида А, Е, I, О из следующих пар имен:
а) Крестьянское восстание (субъект, распределен), восстание, закончившееся победой (предикат, распределен).
б) Русский феодал (субъект, нераспределен), сторонник преобразований Петра I (предикат, распределен).
в) Комета (Субъект, нераспределен), тело Солнечной системы (предикат, нераспределен).
7. Пользуясь определениями различных логических союзов, таблицами истинности сложных суждений решите следующую задачу.
В деле об убийстве имеются двое подозреваемых – Петр и Павел. Допросили четырех свидетелей. Показания первого таково:
Петр не виноват.
Второй свидетель сказал:
Павел не виновен.
Третий свидетель:
Из двух предыдущих показаний по меньшей мере одно истинно.
Четвертый:
Показания третьего свидетеля ложны.
Четвертый свидетель оказался прав. Кто же совершил преступление? (Р. Петер. Игра с бесконечностью).
8. Являются ли равнозначными следующие высказывания (попарно):
а) Иван и Марья друг друга не любят; неверно, что Иван любит Марью, а Марья любит Ивана.
б) Каждый студент нашего факультета способен или трудолюбив;
Неверно, что каждый студент нашего факультета .не способен и не трудолюбив.
в) Если слово ставится в начале предложения, то оно пишется с большой буквы; если слово не ставится в начале предложения, то оно не пишется с большой буквы.
г) Число является четным тогда и только тогда, когда оно делится на два; если число четное, то оно делится на два, а если число не четное, то оно не делится на два.
Список литературы
Ивин А. А. Логика: Учебное пособие для студентов вузов. – М.: ООО «Издательство Оникс»: ООО «Издательство «Мир и образование», 2008. – гл. 6.
Рузавин Г. И. Логика. Учебник для вузов. – М.: ЮНИТИ-ДАНА, 2002. – гл. 2, 3, 4.
Сидорова И. М. Логика: Учебное пособие. – Рыбинск: РГАТА, 2011. – гл. 4.