Студопедия — Умозаключения из сложных суждений
Студопедия Главная Случайная страница Обратная связь

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

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






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



Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

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

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

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

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

Тактические действия нарядов полиции по предупреждению и пресечению групповых нарушений общественного порядка и массовых беспорядков В целях предупреждения разрастания групповых нарушений общественного порядка (далееГНОП) в массовые беспорядки подразделения (наряды) полиции осуществляют следующие мероприятия...

Механизм действия гормонов а) Цитозольный механизм действия гормонов. По цитозольному механизму действуют гормоны 1 группы...

Метод Фольгарда (роданометрия или тиоцианатометрия) Метод Фольгарда основан на применении в качестве осадителя титрованного раствора, содержащего роданид-ионы SCN...

Потенциометрия. Потенциометрическое определение рН растворов Потенциометрия - это электрохимический метод иссле­дования и анализа веществ, основанный на зависимости равновесного электродного потенциала Е от активности (концентрации) определяемого вещества в исследуемом рас­творе...

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

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