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