Summary
By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.
This is a preview of subscription content, log in via an institution to check access.
Rights and permissions
About this article
Cite this article
Surma, S.J. Indirect-deduction theorems. Stud Logica 20, 164–166 (1967). https://doi.org/10.1007/BF02340045
Issue Date:
DOI: https://doi.org/10.1007/BF02340045