ЗАДАНИЕ № 1 3

ЗАДАНИЕ № 2 4

ЗАДАНИЕ № 3 5

ЗАДАНИЕ № 4 6

ЗАДАНИЕ № 5 7

СПИСОК ЛИТЕРАТУРЫ 8

ЗАДАНИЕ № 1

К какому классу относится суждение:

Все дороги являются ведущими в Рим.

ЗАДАНИЕ № 2

Методом от противного проверить, является ли следующая формула законом:

((Р>Q) ^ (B>D) ^ (D v Q)) > (P v B)

ЗАДАНИЕ № 3

По логическому квадрату проверить, в каком отношении находятся суждения:

Все грибы являются не ядовитыми

Некоторые грибы не являются ядовитыми.

ЗАДАНИЕ № 5

Проверить с помощью таблиц, находятся ли формулы

P > Q и P v Q

в отношении логического следования.

1. Анисомов А. Современная логика. - М., 2003. - 416 с.

2. Брюшинкие В. Логика. - М., Проспект, 2002. - 416 с.

3. Войшвилло Е.К., Дегтяренко М.Г. Логика. - М.: Владос - Пресс, 2001. - 564 с.

4. Гетманова А. Д. Логика. - М.: Новая школа, 2001. 416 с.

5. Иванов Е.И. Логика. - М.: БЕК, 2001. - 368 с.

6. Ивин А.А. Логика. - М.: Гардарики, 2003. - 352 с.

7. Ивлев Ю. Логика для юристов. - М.: БЕК, 2001. - 416 с.

8. Кириллов В.И. Логика для юристов. - М., 2001. - 374 с.

9. Кириллов В.И., Орлов Г.А., Фокин Н.И. - Логика. - М.: Проспект, 2004.

Примечаний нет.