Умозаключения из сложных суждений
| Виды умозаключений
| Формулы
умозаключений
| Символические
обозначения
| Модусы
| Правила выводов в модусах
| | Чисто-условное – обе посылки и заключение – условные суждения
| Если а, то 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
Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...
|
Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...
|
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил...
|
Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...
|
ПУНКЦИЯ И КАТЕТЕРИЗАЦИЯ ПОДКЛЮЧИЧНОЙ ВЕНЫ
Пункцию и катетеризацию подключичной вены обычно производит хирург или анестезиолог, иногда — специально обученный терапевт...
Ситуация 26. ПРОВЕРЕНО МИНЗДРАВОМ
Станислав Свердлов закончил российско-американский факультет менеджмента Томского государственного университета...
Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...
|
ОСНОВНЫЕ ТИПЫ МОЗГА ПОЗВОНОЧНЫХ Ихтиопсидный тип мозга характерен для низших позвоночных - рыб и амфибий...
Принципы, критерии и методы оценки и аттестации персонала
Аттестация персонала является одной их важнейших функций управления персоналом...
Пункты решения командира взвода на организацию боя. уяснение полученной задачи; оценка обстановки; принятие решения; проведение рекогносцировки; отдача боевого приказа; организация взаимодействия...
|
|
