Indirect proofs in elementary mathematics Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/z890rx31t

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • Proving mathematical theorems usually involves the proof of an implication, p --> q. Often it is convenient to prove the implication by proving one which is equivalent to or "stronger" than the original theorem. Proofs of this type are called indirect proofs. In Chapter I five forms of indirect proofs are considered. An outline of the rules of inference is also presented. This outline is not a rigorous development of the fundamentals of logic. Rather, it is a sketch of the laws referred to in later parts of the thesis. These rules are used to study the logical structures of the five forms of indirect proofs. In Chapter II examples from elementary mathematics are used to further expose the structures of the different forms of indirect proofs.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi using Capture Perfect 3.0 on a Canon DR-9050C in PDF format. CVista PdfCompressor 5.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2014-04-30T21:01:38Z (GMT). No. of bitstreams: 1 BrandtFrankP1966_Redacted.pdf: 663221 bytes, checksum: 6b3f913dfd3d882712bfc6f8c9480de1 (MD5) Previous issue date: 1965-08-11
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2014-04-28T21:16:46Z (GMT) No. of bitstreams: 1 BrandtFrankP1966_Redacted.pdf: 663221 bytes, checksum: 6b3f913dfd3d882712bfc6f8c9480de1 (MD5)
  • description.provenance : Submitted by Alex McFerrin (amscannerosu@gmail.com) on 2014-04-28T21:11:01Z No. of bitstreams: 1 BrandtFrankP1966_Redacted.pdf: 663221 bytes, checksum: 6b3f913dfd3d882712bfc6f8c9480de1 (MD5)
  • description.provenance : Approved for entry into archive by Katy Davis(kdscannerosu@gmail.com) on 2014-04-30T21:01:38Z (GMT) No. of bitstreams: 1 BrandtFrankP1966_Redacted.pdf: 663221 bytes, checksum: 6b3f913dfd3d882712bfc6f8c9480de1 (MD5)

Relationships

In Administrative Set:
Last modified: 08/16/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items