Умозаключения из сложных суждений
| Виды умозаключений
| Формулы
умозаключений
| Символические
обозначения
| Модусы
| Правила выводов в модусах
| | Чисто-условное – обе посылки и заключение – условные суждения
| Если а, то b
Если b, то с
Если а, то с
|
(a→b)Λ(b→c)
a→c
|
–
| Следствие следствия есть следствие основания
| |
Условно-категорическое –
одна из посылок – условное
суждение, а другая посылка и заключение – категорические суждения
| Если а, то b
а
b
| a → b, a
b
┐a → b, ┐a
b
a → ┐b, a
┐b
┐a→ ┐b, ┐a
┐b
| modus pоnens
утверждаще-утверждающий
Правильный
| Утверждение основания ведёт к утверждению следствия
| | Если а, то b
не b
не а
| a → b, ┐b
┐a
┐a → b, ┐b
a
a → ┐b, b
┐a
┐a → ┐b, b
a
| modus tollens отрицающе-
отрицающий
Правильный
| Отрицание следствия ведёт к отрицанию основания
| | Если а, то b
не а
не b
| a → b, ┐a
┐b
| Неправильный
| Отрицание основания не ведёт с необходимостью к отрицанию следствия
|
Продолжение табл. 7
|
| Если а, то b
b
a
| a → b, b
a
| Неправильный
| Утверждение следствия не ведёт с необходимостью к утверждению основания
| | Все выделяющие суждения дают достоверный вывод
| a ≡ b, a
b
| a ≡ b, b
a
| a ≡ b, ┐a
┐b
| a ≡ b, ┐b
┐a
| | Разделительно-категорическое: одна посылка –
разделительное суждение, другая посылка и заключение – категорические суждения
| a или b
a
не b
| a Ṽ b, a
┐b
| modus ponendo tollens
утверждающе-
отрицающий
| Большая посылка – исключающе-разделительное суждение, т.е. сильная дизъюнкция
| | a или b
не a
b
| <a V b>, ┐a
b
| modus tоlendo
ponens
отрицающе-утверждающий
| Большая посылка – полное (закрытое) дизъюнктивное суждение, т.е. перечислены все возможные альтернативы
| | Условно-разделительное: одна посылка условная, а другая – разделительное суждение
Разновидностью является дилемма, в которой разделительное суждение содержит две альтернативы
| Если a, то c
Если b, то c
a или b
c
| (a→c)Λ(b→c)
<a V b>;
c
| Простая конструктивная дилемма
| Рассуждение направлено от утверждения оснований к утверждению следствия. Разделительная посылка - закрытая дизъюнкция
| | Если a, то b
Если c, то d
a или c
b или d
| (a→b) V (с→d)
<a V c>;
bVd
| Сложная конструктивная дилемма
| Рассуждение направлено от утверждения оснований к утверждению следствий. Разделительная посылка - закрытая дизъюнкция
| | Если a, то b
Если a, то c
не b или не c
не a
| (a→b) Λ (a→c)
<┐b V ┐c>;
┐a
| Простая деструктивная дилемма
| Рассуждение направлено от отрицания следствий к отрицанию основания. Разделительная посылка – закрытая дизъюнкция
| | Если a, то b
Если c, то d
не b или не d
не a или не c
| (a→b) Λ (c→d)
<┐b V ┐d>;
┐a V ┐c
| Сложная деструктивная дилемма
| Рассуждение направлено от отрицания следствий к отрицанию основания. Разделительная посылка – закрытая дизъюнкция
|
Таблица 8
Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...
|
Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...
|
Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...
|
Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...
|
Хронометражно-табличная методика определения суточного расхода энергии студента Цель: познакомиться с хронометражно-табличным методом определения суточного расхода энергии...
ОЧАГОВЫЕ ТЕНИ В ЛЕГКОМ Очаговыми легочными инфильтратами проявляют себя различные по этиологии заболевания, в основе которых лежит бронхо-нодулярный процесс, который при рентгенологическом исследовании дает очагового характера тень, размерами не более 1 см в диаметре...
Примеры решения типовых задач. Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2
Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2. Найдите константу диссоциации кислоты и значение рК.
Решение. Подставим данные задачи в уравнение закона разбавления
К = a2См/(1 –a) =...
|
Мелоксикам (Мовалис) Групповая принадлежность
· Нестероидное противовоспалительное средство, преимущественно селективный обратимый ингибитор циклооксигеназы (ЦОГ-2)...
Менадиона натрия бисульфит (Викасол) Групповая принадлежность
•Синтетический аналог витамина K, жирорастворимый, коагулянт...
Разновидности сальников для насосов и правильный уход за ними
Сальники, используемые в насосном оборудовании, служат для герметизации пространства образованного кожухом и рабочим валом, выходящим через корпус наружу...
|
|
