Умозаключения из сложных суждений
| Виды умозаключений
| Формулы
умозаключений
| Символические
обозначения
| Модусы
| Правила выводов в модусах
| | Чисто-условное – обе посылки и заключение – условные суждения
| Если а, то 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
Картограммы и картодиаграммы Картограммы и картодиаграммы применяются для изображения географической характеристики изучаемых явлений...
|
Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...
|
Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...
|
Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...
|
Растягивание костей и хрящей. Данные способы применимы в случае закрытых зон роста.
Врачи-хирурги выяснили...
ФАКТОРЫ, ВЛИЯЮЩИЕ НА ИЗНОС ДЕТАЛЕЙ, И МЕТОДЫ СНИЖЕНИИ СКОРОСТИ ИЗНАШИВАНИЯ Кроме названных причин разрушений и износов, знание которых можно использовать в системе технического обслуживания и ремонта машин для повышения их долговечности, немаловажное значение имеют знания о причинах разрушения деталей в результате старения...
Различие эмпиризма и рационализма Родоначальником эмпиризма стал английский философ Ф. Бэкон. Основной тезис эмпиризма гласит: в разуме нет ничего такого...
|
Приложение Г: Особенности заполнение справки формы ву-45
После выполнения полного опробования тормозов, а так же после сокращенного, если предварительно на станции было произведено полное опробование тормозов состава от стационарной установки с автоматической регистрацией параметров или без...
Измерение следующих дефектов: ползун, выщербина, неравномерный прокат, равномерный прокат, кольцевая выработка, откол обода колеса, тонкий гребень, протёртость средней части оси
Величину проката определяют с помощью вертикального движка 2 сухаря 3 шаблона 1 по кругу катания...
Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей:
- трещину в корпусе автосцепки, излом деталей механизма...
|
|
