Модус Толлендо Поненс - это...

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