
- •Тема 12. Сложные суждения
- •1 Образование сложных суждений
- •2 Установление логического значения сложных суждений при помощи таблиц истинности.
- •1) Редакция вправе увеличить или уменьшить размер гонорара.
- •2) Банан – пищевое растение и источник доходов для экспортирующих стран.
- •3) Он сейчас находится в Минске или в Петербурге.
- •5) Если к двум прибавить два, то получится четыре.
- •3.3 Приведите схему и пример индуктивного вывода по методу сходства и различия.
- •А.А.Ивин «Логика .Учебное пособие» Издание 2-е, Москва, Издательство "Знание".
- •Гетманова а.Д. «Учебник по логике». Москва, Гуманит. Изд. Центр владос", 1998.
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 истинны, то сложное суждение истинно.