ЗАДАНИЕ № 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.