algebraic proof:
reasoning that uses a number of specific examples to arrive at a conclusion
inductive reasoning
a statement that is accepted as true without proof
postulate
the part of a statement that has the opposite meaning, as well as an opposite truth value
negation
statements with the same truth value
logically equivalent
is to show that a conjecture is not true
counterexample
a statement that can be written in the if-then form
conditional statement
is a logical argument in which each statement one makes is supported by a statement that is accepted as true
proof
two or more statements joined together by the word and or or
compound statement
this is formed by negating both the hypothesis and the conclusion of the converse on the conditional
countrapositive
this is forming a logical chain of statements linking the given to what you are trying to prove
deductive argument
formed by negating both the hypothesis and conclusion of the conditional
inverse
a statement or conjecture that has been proven
theorum
a compound statement that uses the word or
distunction
is a concluding statement reached using inductive reasoning
conjecture
follows the word 'if' in a conditional statement
hypothesis
this proof contains statements and reasons organized in two columns
two-column proof
a sentence that is neither true nor false
statement
a convenient method to organize the truth value of a statement
truth table
is formed by exchanging the hypothesis and conclusion of the conditional
converse
is writing a paragraph to explain why a conjecture for a given statement is true
paragraph proof
conjunction
the truth value of a statement is either true or false
truth value
follows the word 'then' in a conditional statement
conclusion
uses facts, rules, definitions, or properties to read a logical conclusion from a given statement
deductive reasonings
is a compound statement of the form 'if p, then q', where p and q are statements
if-then statement