Резюме
Под названием теорем о дедукции от противного в статье вводятся теоремы позволяющиэ формализировать рассуждения от противного, встечающиеся в дедуктивной практике, а особенно в практике математических доказательств. В статье рассматриваются отношения между введёнными теоремами и некоторыми логическими исчислениями. Мы ограничиваемся в основном отношением упомянутых теорем к импликтивно-отиицательным исчислениям предоожений.
Rights and permissions
About this article
Cite this article
Сурма, С. Теоремы о дедукции от противного. Stud Logica 20, 161–163 (1967). https://doi.org/10.1007/BF02340044
Issue Date:
DOI: https://doi.org/10.1007/BF02340044