Ö
1. S - º студент Р - º спортсмен
Суждение: Некоторые студенты являются спортсменами. (I)
2. S - º студент Р + º спортсмен
Суждение: Некоторые студенты не являются спортсменами. (O)
3. S + º Л.Н. Толстой Р + º автор романа «Война и мир»
Суждение: Л.Н. Толстой - автор романа «Война и мир». (А)
4. S + º Л.Н. Толстой Р + º бессмертный
Суждение: Л.Н. Толстой не является бессмертным. (Е)
5. S + º Л.Н. Толстой Р - º писатель
Суждение: Л.Н. Толстой - писатель. (А)
1. S + º композитор; Р -- º музыкант.
2. S -- º студент; Р -- º мастер спорта.
3. S + º прокурор; Р -- º человек, имеющий специальное юридическое образование.
4. S -- º преступник; Р -- º человек, представляющий опасность для общества.
5. S + º человек; Р + º тот, кто может нарушать законы страны проживания.
6. S + º русский; Р + º тот, кто не любит быстрой езды.
7. S -- º кинофильм; Р -- º детектив.
8. S + º собака; Р -- º друг человека.
9. S -- º умеющий читать; Р + º умеющий писать.
10. S -- º выдающийся математик; Р + º принявший неевклидову геометрию.
|
|
Упражнение 27. Восстановите суждение по данной схеме отношений между терминами:
Ö Решается аналогично предыдущему.
1. 2. 3. 4.
S º книга S º жилой дом S º облако S º облако
Р º учебник Р º кирпичный дом Р º кучевое Р º кучевое облако облако
Упражнение 28. Укажите какая из приведенных схем верно выражает отношение терминов в данных суждениях:
1. 2. 3.
образом, в последнем столбце всегда будет чередование значений «И» и «Л». В результате мы получаем в таблице все возможные сочетания значений «И» - «Л» для входящих в состав формулы переменных.
После этого последовательно выписываются (начиная со скобок, как в последовательности выполнения действий в математических формулах) все логические связки заданной формулы. И, наконец, заполняется собственно таблица истинности, имея ввиду таблицу истинности логических связок.
_ _ _
Ö ((а ® (b Ù c)) Ù (b Ú c)) ® а
а | b | c | _ а | _ b | _ c | b Ù c | а ® (b Ù c) | _ _ (b Ú c) | а ® (b Ù c)) _ _ Ù (b Ú c) | ((а ® (b Ù c)) _ _ _ Ù (b Ú c)) ® а |
и и и и л ллл | и и л лии лл | и ли ли ли л | ллллииии | ллииллии | лилилили | и л л л и л л л | и л л л и и и и | л и и и л и и и | л л л л л и и и | и и и и и и и и |
Так как в последней колонке мы имеем только значение «истина», формула является законом логики.
______ _
1. а ®b º а Ù b
2. ù ù ù а º ù а
_ _
3. ((а ® b) Ù b) ® а
4. (а ® b Ù с) ® (а Ú с ® b)
|
|
_ _ _ _
5. ((а ®b) Ù (c ® d) Ù (b Ú d)) ® (а Ú c)
Тема: ОСНОВНЫЕ ЛОГИЧЕСКИЕ ЗАКОНЫ