Упражнение 26. Из заданных субъекта и предиката с указанной распределенностью составьте истинное суждение

Ö

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)

Тема: ОСНОВНЫЕ ЛОГИЧЕСКИЕ ЗАКОНЫ