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

1. Презентация на тему: «Умозаключения из суждений с отношениями»

Работу выполнила:
студентка группы
ВМ-19-01

2.

Умозаключение – форма мышления,
посредством которой из одного или нескольких
суждений, называемых посылками, мы по
определенным правилам вывода получаем
суждение - заключение ( вывод умозаключение)
Посылка
Заключение
Всякое умозаключение, как и всякое суждение
имеет форму , которая может быть логически
правильной или логически неправильной

3.

Выводы из суждений с отношениями
Логическим основанием умозаключений из
суждений с отношениями являются свойства отношений:
1) симметричность,
2) рефлексивность,
3) транзитивность

4. Симметричность Отношение называется симметричным (от гр. simmetria – « соразмерность» ), если оно имеет место как между

предметами х и у, так и между
предметами у и х. Иначе говоря, перестановка
членов отношения не ведет к изменению вида
отношения. Симметричными являются
отношения.
. равенство (если а равно b, то и b равно а),
. сходства (если с сходно с d, то и d сходно с с),
. одновременности ( если событие х произошло
одновременно с событиями у, значит, и событие у
произошло одновременно с событием х)
. различия и некоторые др.

5. Рефлексивность Отношение называется рефлексивным ( от латинского refleхio- «отражение» ), если каждый член отношения находится

в таком же отношении
к самому себе. Таковы отношения равенства
(если а=b, то и а=а и b=b одновременности)
если событие х произошло одновременно с
событиями у, значит, каждое из них произошло
одновременно с самим собой

6. Транзитивность

Отношение называется транзитивными (от
латинского transitivus – «переход»), если оно имеет
место между х и z и между у и z следует такое же
отношение между х и z.
Транзитивными являются отношения:
. равенства (если а равно b то и b равно с, то а
равно с),
. одновременности ( если событие х произошло
одновременно с событием z),
. отношения «больше», «меньше» (а меньше b, b
меньше c ), «позднее», «находиться севернее (южнее ,
восточнее, западнее)», «быть ниже, выше» и т.п.