Понятие об умозаключении, его видах
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. Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, предпосылки которых являются условными или разъединительными суждениями, которые выступают в разных отношениях друг с другом, : с категорическими суждениями. Особенность этих умозаключений в том, что выведение вывода из предпосылок определяется не отношениями между сроками, как в категорическом силлогизме, а характером логической связи между суждениями. К ним относятся:
Чисто условное умозаключение - обе предпосылки являются условными суждениями:
Если а, то в.В символической записи:
Вернуться назад