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