Умозаключения из сложных суждений
| Виды умозаключений
| Формулы
умозаключений
| Символические
обозначения
| Модусы
| Правила выводов в модусах
| | Чисто-условное – обе посылки и заключение – условные суждения
| Если а, то 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 оперирует с двумя категориями...
|
Закон Гука при растяжении и сжатии
Напряжения и деформации при растяжении и сжатии связаны между собой зависимостью, которая называется законом Гука, по имени установившего этот закон английского физика Роберта Гука в 1678 году...
Характерные черты официально-делового стиля Наиболее характерными чертами официально-делового стиля являются:
• лаконичность...
Этапы и алгоритм решения педагогической задачи Технология решения педагогической задачи, так же как и любая другая педагогическая технология должна соответствовать критериям концептуальности, системности, эффективности и воспроизводимости...
|
Тема: Изучение приспособленности организмов к среде обитания Цель:выяснить механизм образования приспособлений к среде обитания и их относительный характер, сделать вывод о том, что приспособленность – результат действия естественного отбора...
Тема: Изучение фенотипов местных сортов растений Цель: расширить знания о задачах современной селекции. Оборудование:пакетики семян различных сортов томатов...
Тема: Составление цепи питания Цель: расширить знания о биотических факторах среды. Оборудование:гербарные растения...
|
|
