КАТЕГОРИИ:
Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)
Умозаключения из сложных суждений
|
|
|
|
ЭПИХЕЙРЕМА
РЕГРЕССИВНЫЙ СОРИТ
ПРОГРЕССИВНЫЙ СОРИТ
РЕГРЕССИВНЫЙ ПОЛИСИЛЛОГИЗМ
УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus tollens
ЧИСТО РАЗДЕЛИТЕЛЬНОЕ УМОЗАКЛЮЧЕНИЕ
В чисто разделительном умозаключении посылки являются разделительными суждениями.
Пример:
Всякая философская система есть или идеализм, или материализм, или дуализм. Идеалистическая система является или объективным, или субъективным идеализмом.
Всякая философская система есть или объективный идеализм, или субъективный идеализм, или материализм, или дуализм.
РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus ponendo tollens
РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus tollendo ponens
Пример:
| где {...} - символ закрытой дизъюнкции. При неполной (открытой) дизъюнкции - достоверного заключения получить нельзя. Доказательство формул производится табличным методом |
Преступление совершено умышленно (р) или по неосторожности (q). Строим умозаключение по отрицаюше-утверждающему модусу: Данное преступление не является умышленным (Тр). Следовательно, оно совершено по неосторожности (q). Заключение следует с необходимостью.
УСЛОВНО-РАЗДЕЛИТЕЛЬНЫЕ УМОЗАКЛЮЧЕНИЯ
|
|
|
|
|
Дата добавления: 2014-12-26; Просмотров: 2355; Нарушение авторских прав?; Мы поможем в написании вашей работы!