Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Умозаключения из сложных суждений





Виды умозаключений Формулы умозаключений Символические обозначения Модусы Правила выводов в модусах
Чисто-условное – обе посылки и заключение – условные суждения Если а, то 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







Дата добавления: 2015-03-11; просмотров: 1073. Нарушение авторских прав; Мы поможем в написании вашей работы!




Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...


Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

ОЧАГОВЫЕ ТЕНИ В ЛЕГКОМ Очаговыми легочными инфильтратами проявляют себя различные по этиологии заболевания, в основе которых лежит бронхо-нодулярный процесс, который при рентгенологическом исследовании дает очагового характера тень, размерами не более 1 см в диаметре...

Примеры решения типовых задач. Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2   Пример 1.Степень диссоциации уксусной кислоты в 0,1 М растворе равна 1,32∙10-2. Найдите константу диссоциации кислоты и значение рК. Решение. Подставим данные задачи в уравнение закона разбавления К = a2См/(1 –a) =...

Экспертная оценка как метод психологического исследования Экспертная оценка – диагностический метод измерения, с помощью которого качественные особенности психических явлений получают свое числовое выражение в форме количественных оценок...

РЕВМАТИЧЕСКИЕ БОЛЕЗНИ Ревматические болезни(или диффузные болезни соединительно ткани(ДБСТ))— это группа заболеваний, характеризующихся первичным системным поражением соединительной ткани в связи с нарушением иммунного гомеостаза...

Решение Постоянные издержки (FC) не зависят от изменения объёма производства, существуют постоянно...

ТРАНСПОРТНАЯ ИММОБИЛИЗАЦИЯ   Под транспортной иммобилизацией понимают мероприятия, направленные на обеспечение покоя в поврежденном участке тела и близлежащих к нему суставах на период перевозки пострадавшего в лечебное учреждение...

Studopedia.info - Студопедия - 2014-2025 год . (0.012 сек.) русская версия | украинская версия