Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
Модус Толлендо Поненс:
Модус Толлендо Поненс - (лат. modus tollendo ponens) - термин средневековой логики, обозначающий разделительно-кате- горическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения - разделительное (дизъюнктивное) высказывание; вторая — категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член: Или: Здесь A и В — некоторые высказывания, черта стоит вместо слова «следовательно». Другая форма записи: А или В. Не-А. Следовательно, В. А или В. Не-В. Следовательно, A. Напр.: Множество является конечным или оно бесконечно. Множество не является конечным.__________ Множество бесконечно. Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом. С использованием символики логической умозаключение формулируется так (v — дизъюнкция, «или»; ~ — отрицание, «неверно, что»): Или: В современной логике М.т. п. называется также правилом удаления дизъюнкции.
Похожие на Модус Толлендо Поненс слова / понятия:
Модус Толленс
Мышление
Наука
Не Вытекает, Не Следует
Нечеткое Множество
Недоказанное Основание Доказательства
Неясность
Неклассическая Логика
Необходимость
Необходимые И Достаточные Условия