3. Определить, в каких отношениях по значениям истинности (по «логическому квадрату») находятся приведенные суждения (Ни один заяц не является волком. Все зайцы - волки).

4. Привести пример сложного суждения, соответствующего заданной формуле: а ⊃ в.

6. Проверить, является ли приведенное сложное суждение законом логики (тождественно-истинной формулой): Я сдам зачет по логике, если и только если научусь решать задачи или мне повезет. Значит, если я так и не научусь решать задачи и мне не повезет, то я провалю экзамен.

По теме «Умозаключение».

1. Получить непосредственные умозаключения превращения, обращения и противопоставления предикату из предложенной посылки: Ряд стран, формально получивших политическую независи­мость, не являются фактически самостоятельными.

2. Проверить правильность простого категорического силлогизма:

Некоторые элементарные частицы не имеют электрического за­ряда. Нейтрон - элементарная частица, она не имеет электриче­ского заряда.

3. Составить простой категорический силлогизм по правильному модусу II фигуры. Термины (больший, меньший, средний) взять из предыдущего задания.

4. Составить условно-категорическое умозаключение по заданному модусу: Modus tollens (любой свой пример).

5. Составить разделительно-категорическое умозаключение по заданному модусу: ponendo tollens (любой свой пример).