Direct and indirect methods of proof. The Lehmus-Steiner theorem
History and Overview
2015-01-06 v2
Abstract
In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the essence of specific types of indirect proofs. Direct proofs of Lehmus-Steiner's Theorem are proposed.
Keywords
Cite
@article{arxiv.1410.7526,
title = {Direct and indirect methods of proof. The Lehmus-Steiner theorem},
author = {Vesselka Mihova and Julia Ninova},
journal= {arXiv preprint arXiv:1410.7526},
year = {2015}
}