a table used as a convenient for organization the truth values of statements
Back
Hypothesis
Front
in a conditional statement that immidiately follows the word if
Back
Disjunction
Front
a compound statement formed by joing two or more statements with the word or
Back
Counter Example
Front
an example used to show that a given statement is not always true
Back
Paragraph Proof
Front
an informal proof written in the form of a paragraph that explains why a conjecture for a given situation is true
Back
Proof
Front
a logical arguement in which each statement you make is supported by a statement that is accepted as true
Back
If-then-Statement
Front
a compound statement of the form "if a, then b" where A and B are statements
Back
Negation
Front
if a statement is represented by p, then not p is the negation of the statement
Back
Converse
Front
the statement formed by exchanging the hypothesis and conclusion of a conditional statement
Back
Deductive Reasoning
Front
a system of reasoning that uses facts, rules, definitions, or properties to reach a logical conclusion
Back
Axiom
Front
statement that describes a fundemental relationship between the basic terms of geometry
Back
Conjecture
Front
an educated guess based on know information
Back
Formal Proof
Front
contains statements and reasons organized in two collumns
Back
Related Conditionals
Front
statements such as the converse, inverse, and contrapositive that are based on a given conditional statements
Back
Conculsion
Front
in a conditional staement, the statement that immidiately follows the word then
Back
Deductive Arguement
Front
a proof formed by a group of algebraic steps used to solve a problem
Back
Law of Syllogism
Front
if p=q and q=r are true conditionals then p=r is also true
Back
Law of Detachment
Front
if p=q is a true conditional and p is ture, then q is also true
Back
Postulate
Front
a statement that describes a fundemental relationship between the basic terms of geometry, postulates are accepted as true without proof
Back
Informal Proof
Front
write a paragraph to explain why a conjecture for a given situation is true
Back
Logically Equivalent
Front
statements that have the same truth values
Back
Contrapositive
Front
the statement formed by negating both the hypothesis and conclusion of the converse of a conditional statement
Back
Compound Statement
Front
a staement formed by joining two or more statements
Back
Inverse
Front
the statement formed by negating both the hypothesis and conclusion of a conditional statement
Back
Theorem
Front
a statement or conjecture that can be proven true by undefined terms, definitions, and postulates
Back
Conjuction
Front
a compound statement formed by joing two or more statements with the word and
Back
Inductive Reasoning
Front
Reasoning that uses a number of specific examples to arrive at a plausible generalization or prediction conclusions arrived at by inductive reasoning lack the logical certainty of those arrived at by deductive reasoning
Back
Statement
Front
any sentence that is either true or false, but not both
Back
Biconditional
Front
the conjuction of a conditional statement and its converse
Back
Two Column
Front
a formal proof that contains statements and reasons organization two columns step is called a statement, and the properties that justify each step are called reasons