Понятие об умозаключении, его видах


1 фигура - наиболее типичная форма дедуктивного умозаключения.

Правила 2-й фигури:1. Большая предпосылка - общее суждение.

2. Одна из предпосылок - отрицательное суждение.

Правила 3-й фигуры : 1. Меньший - отвердеет.

2. Вывод - частичное суждение.

Правила 4-й фигуры не рассматриваются, потому что они не ты печные для мышления - обычно это выводы 1 фигуры.

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

Умозаключения, предпосылки и выводы которых являются суждениями с отношениями, есть умозаключения с отношениями.

Петр - брат Ивана.

Иван - брат Сергея.

Петр - брат Сергея.

Логической основой умозаключений из суждений с отношениями являются свойства отношений, важнейшие из них, : 1) симметричное (зрел мерное) отношение между х↔в, и в↔х; хRy ↔ yRx;

2) рефлексивне (отображение) - это отношение равенства и одновременности (а=в, то а=а, в=в) xRy  yRx.

3) транзитивное (переход) - эта если оно имеет место между х и z, тогда, когда оно имеет место между х и в и между в и z - это отношение равенства (а=в, в=с, то а=с) и одновременности (х когда в и в когда z, то х когда событие z), отношения "больше-меньшее" (а меньше в, в - с, следовательно а - с) и др. (позже, больше и так далее). (xRy Λ yRz)  xRz.

Лекция: Умозаключения ИИ

План

1.Умозаключения из сложных суждений.

2.Правила логики высказывания.

3.Сокращенные и сложносокращенные силогизми.

1. Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, предпосылки которых являются условными или разъединительными суждениями, которые выступают в разных отношениях друг с другом, : с категорическими суждениями. Особенность этих умозаключений в том, что выведение вывода из предпосылок определяется не отношениями между сроками, как в категорическом силлогизме, а характером логической связи между суждениями. К ним относятся:

Чисто условное умозаключение - обе предпосылки являются условными суждениями:

Если а, то в.В символической записи:





Вернуться назад