Логика, ЭСБ, заочная, кр1, вар.12, 2012
.docxТЕМА 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))
И И И И Л
И Л И И Л
Л И И И Л
Л Л Л И Л