V. Сокращенные силлогизмы (энтимемы)

Сергей родной брат Максима

Рязань севернее Тулы

Монблан выше Эльбруса

Эверест выше Монблана

IV. Умозаключения из суждений с отношениями. Их свойства.

Решение силлогизма

Отношения обладают следующими свойствами:

- рефлексвность: aRb ® aRaÙbRb

a одновременно b ® a одновременно a Ù b одновременно b

- симметричность: aRb ® bRа

а родственник b ® b родственник а

- транзитивность: aRb Ù bRс ® aRс

a > b Ù b > с ® a > с

- функциональность: каждому значению b отношения aRb соответствует только единственное значение а: aRb Ù сRb ® a=с

а отец b

ПРИМЕРЫ

Добролюбов – современник Шевченко

Белинский – современник Шевченко

?

?

Смоленск севернее Рязани

?

Петр родной брат Сергея

?

Предмет С отличается некоторыми признаками от предмета D

?

Если есть только одна явно сформулированная посылка и вывод, а вторая посылка подразумевается. Чтобы проверить истинность вывода, следует восстановить вторую посылку и убедиться в ее истинности.

В переводе с греческого энтимема – "в уме", "в мыслях".

Все политики лицемеры

Пропущено: Наполеон – политик