Упражнения:

1. Тождественны ли следующие высказывания по качеству: «Это рассуждение не является правильным» и «Это рассуждение является неправильным»?

2. Установите количество следующих атрибутивных высказываний:

1. Древние финикийцы основали город Карфаген;

2. Большинство наблюдений подтвердило это предположение;

3. Никто его не любит;

4. Жизнь – это способ существования белковых тел;

5. В любой библиотеке есть книги, к которым обращаются очень редко;

6. Среди диких растений флоры нашей страны есть такие, что представляют большую ценность для медицины;

7. Многие выдающиеся математики не приняли неевклидовой геометрии;

8. «Египтяне, принадлежавшие к храмову округу мендеса, не употребляют в пищу козьего мяса» (Геродот. История).

3. Выделите субъект, предикат и связку в высказываниях из упр.2.

4. Приведите следующие высказывания к одной из четырех форм SaP, SeP, SiP, SoP:

1. Имеются приборы, преобразующие ультразвук в звук, слышимый человеком;

2. Противники материалистического мировоззрения утверждают, что мир непознаваем;

3. Некоторые проблемы человеческой истории до сих пор не решены;

4. «Ни один ученый не мыслит формулами» (А.Эйнштейн).

5. Образуйте истинные высказывания форм SaP, SeP, SiP, SoP из следующих пар имен:

1. Крупный промышленный центр (S), город республиканского подчинения (P);

2. Эллипс (S), коническое сечение (P);

3. Коническое сечение (S), эллипс (P);

4. Планета Солнечной системы (S), тело, движущееся по круговой орбите (P).

6. Из следующих пар имен составьте высказывания форм SaP, SeP, SiP, SoP (в скобках указаны функции имен в будущих высказываниях и их распределенность):

1. Крестьянское восстание (субъект, распределен), восстание, закончившееся победой (предикат, распределен);

2. Русский феодал (субъект, не распределен), сторонник реформ Петра I (предикат, распределен);

3. Комета (субъект, не распределен), тело Солнечной системы (предикат, не распределен);

4. Звезда (субъект, распределен), мощный источник радиоизлучений (предикат, не распределен).

7. Установите логические отношения между высказываниями в следующих парах:

1. Каждый школьник умеет строить квадрат, равновеликий данному прямоугольнику; некоторые школьники не умеют строить квадрат, равновеликий данному прямоугольнику;

2. Ни один ученик не умеет строить квадрат, равновеликий данному прямоугольнику; некоторые ученики не умеют строить квадрат, равновеликий данному прямоугольнику;

3. Некоторые математики пытались решить проблему «квадратуры круга»; некоторые математики не пытались решить проблему «квадратуры круга»;

4. Ни одна математическая проблема не приобрела такой популярности, как проблема «квадратуры круга»; существуют математические проблемы, которые приобрели такую же популярность, как проблема «квадратуры круга»;

5. Все усилия решить проблему «квадратуры круга» бесполезны; ни одно усилие решить проблему «квадратуры круга» не бесполезно;

6. Все математики, стремящиеся к решению проблемы «квадратуры круга», уверены в успехе; некоторые математики, стремящиеся к решению проблемы «квадратуры круга», уверены в успехе.

8. Установить распределенность терминов в высказываниях из упр.7.

9. Допустим, что первые высказывания пар из упр.7 являются истинными. Что можно сказать о логическом значении каждого из вторых высказываний?

10. Допустим, что первые высказывания пар из упр.7 являются ложными. Что можно сказать о логическом значении каждого из вторых высказываний?

11. Допустим, что вторые высказывания пар из упр.7 являются истинными. Что можно сказать о логическом значении каждого из первых высказываний?

12. Допустим, что вторые высказывания пар из упр.7 являются ложными. Что можно сказать о логическом значении каждого из первых высказываний?

13. Если высказывание «Некоторые студенты не сдали зачет» ложно, то правильны ли следующие выводы:

    1. Некоторые студенты не сдали зачет. Следовательно, некоторые студенты сдали зачет.

    2. Некоторые студенты сдали зачет. Следовательно, некоторые студенты не сдали зачет.