AXIOM or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject to necessary decision. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths.WHILE a THEOREM is a statement which has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms.
HISTORICAL BACKGROUND
The early Greeks developed the LOGICO-DEDUCTIVE METHOD whereby conclusion (new knowledge) follow from premises (old knowledge).
Euclid established common notions very basic self-evident assertions:
Things which are equal to the same thing are also equal to one another.
If equals be added to equals, the wholes are equal.
If equals be subracted from equal, the remainers are equal.
Things which coincide with one another are equal to one another.
AXIOMATIC SYSTEM- is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
CHARACTERISTIC OF AXIOMATIC SYSTEM
1. Independent
2. Complete
3. Consistent
THEOREM
Many theorems are of the form of an indicative conditional.
If A, then B, In this case A is called the hypothesis (antecedent) of the theorem and B the conclusion (consequent).
HISTORICAL BACKGROUND
The early Greeks developed the LOGICO-DEDUCTIVE METHOD whereby conclusion (new knowledge) follow from premises (old knowledge).
Euclid established common notions very basic self-evident assertions:
Things which are equal to the same thing are also equal to one another.
If equals be added to equals, the wholes are equal.
If equals be subracted from equal, the remainers are equal.
Things which coincide with one another are equal to one another.
AXIOMATIC SYSTEM- is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
CHARACTERISTIC OF AXIOMATIC SYSTEM
1. Independent
2. Complete
3. Consistent
THEOREM
Many theorems are of the form of an indicative conditional.
If A, then B, In this case A is called the hypothesis (antecedent) of the theorem and B the conclusion (consequent).
No comments:
Post a Comment