Главная - Словарь логики - буква М - Модус Толлендо Поненс
(лат. modus tollendo ponens) - термин средневековой логики, обозначающий разделительно-кате- горическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения - разделительное (дизъюнктивное) высказывание; вторая — категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член: Или: Здесь A и В — некоторые высказывания, черта стоит вместо слова «следовательно». Другая форма записи: А или В. Не-А. Следовательно, В. А или В. Не-В. Следовательно, A. Напр.: Множество является конечным или оно бесконечно. Множество не является конечным.__________ Множество бесконечно. Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом. С использованием символики логической умозаключение формулируется так (v — дизъюнкция, «или»; ~ — отрицание, «неверно, что»): Или: В современной логике М.т. п. называется также правилом удаления дизъюнкции.
Поделитесь с друзьями:
Вы можете поставить ссылку на это слово:
будет выглядеть так: Модус Толлендо Поненс
будет выглядеть так: Что такое Модус Толлендо Поненс
|
|