**TI83F* AppVariable file 12/24/08, 18:33’ GLGE02  nav 9AE51D1EC13445C5B24A00CF0B737DCFGLGE02.!GLGE021  algebraic proofnalgebraic proof:ÖA type of proof that uses a group of algebraic steps to solve problems and justify each step. axiom,axiom:ÖA statement that is accepted as true. compound statementUcompound statement:ÖTwo or more statements that are connected by the words AND or OR.  conclusionVconclusion:ÖThe part of a conditional statement immediately following the word 'then'. conditional statement­conditional statement:ÖA statement that something is true or will be true provided that something else is also true. The statement can be written in the form 'If A, then B'.  conjectureFconjecture:ÖA conclusion reached that is based on inductive reasoning.  conjunctionWconjunction:ÖA compound statement formed by joining two statements with the word 'and'. contrapositivecontrapositive:ÖThe statement formed by negating both the hypothesis and conclusion of the converse of a conditional statement.  conversefconverse:ÖThe statement formed by exchanging the hypothesis and conclusion of a conditional statement.  counterexample?counterexample:ÖA specific case which proves a statement false.  deductive argumentYdeductive argument:ÖA proof formed by a group of algebraic steps used to solve a problem.  deductive reasoningodeductive reasoning:ÖThe process of using facts, rules, definitions, or properties to reach a valid conclusion.   disjunction\disjunction:ÖA compound statement formed by joining two or more statements with the word or.  formal proofCformal proof:ÖA two-column proof containing statements and reasons.  hypothesisThypothesis:ÖThe part of a conditional statement immediately following the word 'if'. if-then statementBif-then statement:ÖConditional statement in the form If A, then B. inductive reasoningAinductive reasoning:ÖA conclusion based on a pattern of examples. informal proof"informal proof:ÖA paragraph proof. inversehinverse:ÖThe statement formed by negating both the hypothesis and conclusion of a conditional statement. Law of DetachmentULaw of Detachment:ÖIf p  q is a true conditional and p is true, then q is also true. Law of SyllogismULaw of Syllogism:ÖIf p  q and q  r are true conditionals, Öthen p  r is also true. logically equivalentAlogically equivalent:ÖStatements that have the same truth values. negation&negation:ÖThe negative of a statement. paragraph proofTparagraph proof:ÖA logical argument used to validate a conjecture in paragraph form.  postulateKpostulate:ÖA rule of geometry that is accepted as being true without proof. proof8proof:ÖA logical argument used to validate a conjecture. related conditionalsQrelated conditionals:ÖStatements that are based on a given conditional statement.  statementAstatement:ÖA sentence that is either true or false, but not both. theoremqtheorem:ÖA statement that can be justified by logical reasoning and must be proven before it is accepted as true.  truth table7truth table:ÖA convenient way to organize truth values.  truth value1truth value:ÖThe truth or falsity of a statement.  two-column proofgtwo-column proof: ÖA deductive argument that contains statements and reasons organized in two columns.ÖO©