Министерство образования республики Беларусь Учреждение образования «БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ» Институт информационных технологий
Специальность Промышленная Электроника
КОНТРОЛЬНАЯ РАБОТА
По курсу Логика
Вариант №12
Студент-заочник 1 курса Группы № ФИО Адрес г.Минск ул. Тел.
Минск, 2011
ТЕМА 12. Сложные суждения 1. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности: 1.1. Редакция вправе увеличить или уменьшить размер гонорара. Дизъюнктивное, сильное суждение p q pvq И И Л И Л И Л И И Л Л Л
1.2. Банан – пищевое растение и источник доходов для экспортирующих стран. Конъюнктивное суждение p q p&q И И И И Л Л Л И Л Л Л Л
1.3. Он сейчас находится в Минске или в Петербурге. Дизъюнктивное, сильное суждение p q pvq И И Л И Л И Л И И Л Л Л ≡ 1.4. Кукушка хвалит петуха за то, что хвалит он кукушку. Имплекативное суждение p q pq И И И И Л Л Л И И Л Л И
1.5. Если к двум прибавить два, то получится четыре. Имплекативное суждение p q p≡q И И И И Л Л Л И Л Л Л И 2. Постройте таблицу истинности для следующего выражения: (p(pvq)).
p q pvq p—›(pvq) (p(pvq)) И И И И Л И Л И И Л Л И И И Л Л Л Л И Л
