This thesis describes and develops from an axiomatic basis
three principles of logic and some forms of indirect proof. The
three principles are: (1) the law of the excluded middle, (2) the law
of contradiction, and (3) the law of the double negative. Of several
forms of indirect proof, this...