The Axiomatic Method - The Axiomatic Method The Axiomatic...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
The Axiomatic Method The Axiomatic Method is a procedure, which involves a chain of propositions and their proofs, to establish the correctness of principles which had been formulated by experiment, by trial and error, or by intuitive insight. This chain of statements produced by the Axiomatic Method is called an Axiomatic System. An Axiomatic System has Four Components 1. A set of undefined terms 2. A set of defined terms 3. A set of AXIOMS (also called Postulates) 4. A set of THEOREMS together with their proofs (See Table 1.2.1 (p. 9) for a description of these components.) The proven statements are called the theorems of the axiomatic system. A statement cannot be called a theorem until a valid proof of that statement has been developed. A statement which has been proposed as being possibly true (but which has not yet been proved) is called a conjecture or a hypothesis . A theorem whose sole purpose is to be used in the proof of another theorem is called a Lemma . A theorem whose proof is little more than the simple application of a previously proved theorem is called a Corollary of the previously proved theorem.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Example of an Axiom System: The Fe-Fo System Undefined terms : Fe’s, Fo’s, and the relation belongs to . Defined terms : When a Fe belongs to a Fo, that Fo is said to contain that Fe. Axioms : Axiom 1. There exist exactly three distinct Fe’s in this system. Axiom 2. Any two distinct Fe’s belong to exactly one Fo. Axiom 3. Not all Fe’s belong to the same Fo. Axiom 4. Any two distinct Fo’s contain at least one Fe that belongs to both. Some Theorems
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

The Axiomatic Method - The Axiomatic Method The Axiomatic...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online