Geometry C5: Logic and Proof Flashcards
Theorem
A statement that can be proved
Axiom/Postulate/Assumtion
A statement that is true
What is the hypothesis of a conditional statement?
If p
What is the conclusion of a conditional statement?
Then q
What is a conditional statement?
If p, then q
What is another way a conditional statement can be represented?
p => q
What is the converse?
conditional statement reversed
Is the converse always true?
no
Example of converse
If q, then p
Biconditional statement?
If the converse and conditional are both true
Notation for Biconitional statement
p ⇔ q
Negation
not
Symbols for negation
~ or ᆨ
Inverse
opposite of statement
Example of inverse
if ᆨp, then ᆨ q
Contrapositive
inverse of converse
example of contrapositive
if ᆨq, then ᆨ p
True statement
sufficient
False statement
insufficient
true converse
necessary
false converse
unnecessary