Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Этим термином средневековые логики обозначали разделительно‑категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения — разделительное (дизъюнктивное) высказывание, вторая — категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой её член:
Или:
Другая форма записи:
А или В. Не‑ А Следовательно, В.
А или В. Не‑ В. Следовательно, А.
Например:
Множество является конечным или оно бесконечно.
Множество не является конечным.
Множество бесконечно.
Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.
С использованием логической символики умозаключение формулируется так:
Или:
В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон:
(A v B) & ~ A → B,
если А или В и ~ А, то В.
Дата публикования: 2014-11-29; Прочитано: 221 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!