Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Контрольная работа, тема №12.doc
Скачиваний:
28
Добавлен:
01.04.2014
Размер:
169.47 Кб
Скачать

1) Редакция вправе увеличить или уменьшить размер гонорара.

Вид суждения – нестрогая дизъюнкция. Состоит из двух простых суждений «Редакция вправе увеличить размер гонорара (p)» и «Редакция вправе уменьшить размер гонорара (q)», которые не исключают друг друга.

Таблицу истинности для нестрогой дизъюнкции изобразим на рисунке 7.

p

q

p v q

и

и

и

и

л

и

л

и

и

л

л

л

Рисунок 7

Так как суждение p является истинным и суждение q тоже истинным,(смотрим первую строку таблицы), следовательно все суждение истинно.

2) Банан – пищевое растение и источник доходов для экспортирующих стран.

Вид суждения – конъюнкция. Состоит из двух простых суждений « Банан – пищевое растение (p)» и «Банан – источник доходов для экспортирующих стран (q)», соединенных союзом и.

Таблицу истинности для конъюнкции изобразим на рисунке 8.

p

q

p^q

и

и

и

и

л

л

л

и

л

л

л

л

Рисунок 8

Так, как р – истинно и q – истинно(смотрим первую строку таблицы), следовательно все суждение истинно.

3) Он сейчас находится в Минске или в Петербурге.

Вид суждения – строгая дизъюнкция. Состоит из двух простых суждений «Он сейчас находится в Минске(p)» и «Он сейчас находится в Петербурге(q)». Данные суждения исключают друг друга, так как нельзя одновременно находится в двух различных городах.

Таблицу истинности для строгой дизъюнкции изобразим на рисунке 9.

Если истинно p, так как это строгая дизъюнкция, то ложно q. Если истинно q, то ложно p. В любом случае (смотрим таблицу 9, 2 и 4 строки) суждение является истинным.

p

q

p ¥ q

и

и

л

и

л

и

л

и

и

л

л

л

Рисунок 9

4) Кукушка хвалит петуха за то, что он хвалит кукушку.

Вид суждения – эквивалентное суждение. Состоит из двух простых « Кукушка хвалит петуха (p)» и «Петух хвалит кукушку(q)».

Таблицу истинности для эквивалентных суждений изобразим на рисунке 10.

p

q

p = q

и

и

и

и

л

л

л

и

л

л

л

и

Рисунок 10

Так как p=q истинны, то сложное суждение истинно.