'this' of a statement has the opposite meaning, as well as an opposite truth value
negation
writing a paragraph to explain why a conjecture for a given statement is true
paragraph proof (informal proof)
a statement that is accepted as true without proof
postulate (axiom)
a logical argument in which each statement one makes is supported by a statement that is accepted as true
proof
an if-then statement used to relate a particular hypothesis to its conclusion
related conditionals
a sentence that is neither true nor false
statement
is a statement or conjecture that has been proven
theorem
a convenient method to organize the truth value of a statement
truth table
a statement that is either true or false
truth value
a method used to present a logical argument using a table with two columns
two-column proof
counterexample
to show that a conjecture is not true
deductive argument
forming a logical chain of statements linking the given to what you are trying to prove
deductive reasoning
uses facts, rules, definitions, or properties to read a logical conclusion from a given statement
disjunction
a compound statement that uses the word or
hypothesis
follows the word "if" in a conditional statement
inverse
formed by negating both the hypothesis and conclusion of the conditional
informal proof
writing a paragraph to explain why a conjecture for a given statement is true (paragraph proof)
inductive reasoning
logically equivalent
when two statements that have the same truth value
if-then statement
a compound statement of the form "if p, then q", where p and q are statements
algebraic proof
are two or more statements joined together by the word and or or
a proof that is made up of a series of algebraic statements
compound statement
conjunction
follows the word then in a conditional statement
a compound statement using the word and
conclusion
conjecture
formed by negating both the hypothesis and the conclusion of the converse on the conditional
a concluding statement reached using inductive reasoning
contrapositive
conditional statement
formed by exchanging the hypothesis and conclusion of the conditional
a statement that can be written in the if-then form
converse