Контрольная работа: Понятие категорического силлогизма

А С В С

3. Постройте таблицу истинности следующей формулы:

(А®В)Ù(ВºС)

В логическом выражении данная формула выглядит так:

(если А, то не В) и (если и только если В, то не С)

Формула имеет три переменных: А, В и С. Суждения, которые используются в формуле: конъюнктивные, импликативные, и эквивалентные.

Таблица истинности:

А	В	С	В	С	А®В	ВºС	(А®В)Ù(ВºС)
и	и	и	л	л	л	л	л
и	и	л	л	и	л	и	л
и	л	и	и	л	и	и	и
и	л	л	и	и	и	л	л
л	и	и	л	л	л	л	л
л	и	л	л	и	л	и	л
л	л	и	и	л	л	и	л
л	л	л	и	и	л	л	л

Список использованной литературы

1. Берков В.Ф. Логика: учеб. для студентов вузов /Берков В.Ф.; Яккевич Я.С; Павлюкевич В.И. Под общ. ред. В.Ф. Беркова. – 8-е изд. – Минск: Театр Системс, 2006. – 412с.

2. Бочаров В.А., Маркин В.И. Основы логики: учебник для гуманитарных и естественных факультетов университетов. – М.: Космополис, 1994. – 271с.

3. Гетманова А.Д. Логика: Учеб. для ВУЗов /Гетманова Александра Денисовна. – 6-е изд. – М.: Высш. шк.: Омега. – Л., 2002. – 416с.

4. Демидов И.В. Логика: учебник /Демидов Игорь Владимирович: под ред. Б.И. Каверина. – М.: Дашков и Ко, 2004. – 345с.

5. Ивин А.А. Логика: учеб. для ВУЗов/Ивин Александр Архипович. – М.: Фаир-Пресс: Гранд, 2002. – 319с.

6. Кузина Е.Б. Логика: Экспресс-курс для подгот. к экзамену/Кузина Елена Борисовна. – М.: Владос, 2003. – 80с.

7. Светлов В.А. Практическая логика: учеб. пособие для ВУЗов /Светлов Виктор Александрович. – изд. 3-е, доп. И испр. – СПб.: Росток, 2003. – 682с.

[1] Гетманова А.Д. Логика: Учеб. для ВУЗов / Гетманова Александра Денисовна. – 6-е изд. – М.: Высш. шк.: Омега. – Л., 2002. – с.286

[2] Ивин А.А. Логика: учеб. для ВУЗов /Ивин Александр Архипович. – М.: Фаир-Пресс: Гранд, 2002. – с.86

[3] Демидов И.В. Логика: учебник /Демидов Игорь Владимирович: под ред. Б.И. Каверина. – М.: Дашков и Ко, 2004. – с.124