Контрольная 12в

Министерство образования республики Беларусь

Учреждение образования

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ»

Институт информационных технологий

Специальность Промышленная Электроника

КОНТРОЛЬНАЯ РАБОТА

По курсу Логика

Вариант №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	pq
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

1.5. Если к двум прибавить два, то получится четыре.

Имплекативное суждение

p	q	p≡q
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И

2. Постройте таблицу истинности для следующего выражения: (p(pvq)).

p	q	pvq	p—›(pvq)	(p(pvq))
И	И	И	И	Л
И	Л	И	И	Л
Л	И	И	И	Л
Л	Л	Л	И	Л