Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
28 Cards in this Set
- Front
- Back
Biconditional
|
The conjunction of a conditional statement and its converse
|
|
Compound Statement
|
The statement formed by joining two or more statements
|
|
Conclusion
|
In a conditional statement, the statement that immediatly follows the word then
|
|
Conditional statement
|
A statement that can be written in the form If then form.
|
|
Conjecture
|
An educated guess based on known information
|
|
Conjunction
|
A compound statement formed by joining two or more statements with the word and.
|
|
Contrapositive
|
The statement formed by negating both the hypothesis and the conclusion of the converse of a conditional statement.
|
|
Converse
|
The statement formed by exchanging the hypothesis and conclusion of a conditional statement.
|
|
Counterexample
|
An example used to show that a given statement is not always true.
|
|
Deductive Argument
|
A proof formed by a group of algerbraic steps used to solve a problem.
|
|
Deductive Reasoning
|
A system of reasoning that uses facts, rules, definitions, or properties to reach logical conclusions.
|
|
Disjunction
|
A compound statement formed by joining two or more statements with the word or.
|
|
Hypothesis
|
In a conditional statement, the statement that immediatly follows the word if.
|
|
If-Then Statement
|
A compound statement of the form "if a then b", where a and b are statements
|
|
Inductive Reasoning
|
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.
|
|
Inverse
|
The statement formed by negating both the hypothesis and the conclusion of a conditional statement.
|
|
Law of Detatchment
|
If P -> Q is a true conditional and p is true, the q is also true.
|
|
Law of Syllogism
|
If P->Q and Q->R are true conditionals, then P->R is also true.
|
|
Logically Equivalent
|
Statements that have the same truth values.
|
|
Negation
|
If a statement is represented by p, then not p is the negation of the statement.
|
|
Postulate
|
A statement that describes a fundamental relationship between the basic terms of geometry. postulates are accepted as true without proof.
|
|
Proof
|
a logical argument in which each statement you make is supported by a statement that is accepted as true.
|
|
Related Conditionals
|
statements such as the converse, inverse, and contrapositive that are based on a given conditional statement.
|
|
Statement
|
Any sentence that is either true or false, but not both.
|
|
Theorem
|
A statement o conjecture that can be proven true by undefined terms, definitions, and postulates.
|
|
Truth Table
|
A table used as a Convenient method for organizing the truth values of statements.
|
|
Truth Value
|
The truth or falsity of a statement.
|
|
Two-Column Proof
|
A formal proof that contains statements and reasons organized in two columns. Each step is called a statement, and the properties that justify each step are called reasons.
|