Download
1 / 11
110 likes | 258 Views
Terms in Logic and Deductive Reasoning:. Theorem. A theorem is a statement which has been proved to be true. Proof. A proof is a sequence of statements (made up of axioms, assumptions and arguments ) leading to the establishment of the truth of one final statement. Axiom.
E N D
Terms in Logic and Deductive Reasoning: Leaving Certificate Mathematics
Theorem Leaving Certificate Mathematics A theorem is a statement which has been proved to be true.
Proof Leaving Certificate Mathematics • A proof is a sequence of statements (made up of axioms, assumptions and arguments) leading to the establishment of the truth of one final statement.
Axiom Leaving Certificate Mathematics • An axiom is a statement which is assumed to be true and is used as a basis for developing a system Example: Axiom 1 - There is exactly one line through any two given points.
Corollary Leaving Certificate Mathematics • A corollary follows after a theorem and is a proposition which must be true because of that theorem. • Example: Corollary 6 - This corollary follows Theorem 20 and states: "If two circles share a common tangent line at one point, then the centres and that point are collinear”.
Converse Leaving Certificate Mathematics • The converse of a theorem is formed by taking the conclusion as the starting point and having the starting point as the conclusion. • Example: The converse of Theorem 2 states “If two angles are equal, then the triangle is isosceles”. The converse of this is, ‘if a triangle is isosceles then two of its angles are equal.
Converse (continued) Leaving Certificate Mathematics Example when the converse is NOT true: ‘the opposite sides in a square are equal. The converse of this is ‘ if opposite sides are equal then it must be a square’ which is not true.
Implies Leaving Certificate Mathematics • Implies indicates a logical relationship between two statements, such that if the first is true then the second must be true. • Example: if two angles add up to 180°, this implies the angle is a straight line angle.
If and Only if Leaving Certificate Mathematics • If and only if: Often shortened to “iff”. The truth of either one of the connected • statements implies the truth of the other. i.e. they both true or both false. • Example: Two lines are parallel if and only if for any transversal, corresponding angles are equal.
Is equivalent to: Leaving Certificate Mathematics • Is equivalent to: Two things are said to be equivalent if they have the same value but different forms. • Example:
Proof by Contradiction Leaving Certificate Mathematics • Proof by contradiction: A proof by contradiction is a proof in which one assumption is made. Then, by using valid arguments a statement is arrived at which is clearly false, so the original assumption must have been false. • Example: you have an example of this.
