Unit 2: Reasoning and Proofs Flashcards
The Symbol for a Conditional Statement:
p → q
Symbol for a Negation:
~p
Symbol for a Converse:
q → p
Symbol for an Inverse:
~p → ~q
Symbol for a Contrapositive:
~q → ~p
Symbol for a Biconditional Statement:
p ↔ q (if and only if)
A __________ is an unproven statement that is based on observations.
Conjecture
You use _________ _________ when you find a pattern in specific cases and then write a conjecture for the general case.
Inductive Reasoning
___________ ________ are those numbers that follow each other. They follow in a sequence or in order.
Consecutive Integers
An example that disproves a statement (shows that it is false).
Counterexample
_________ _________ uses facts, definitions, accepted properties, and the laws of logic to form a logical argument.
Deductive Reasoning
If the hypothesis of a true conditional statement is true, then the conclusion is also true.
Law of Detachment
If hypothesis p, then conclusion q.
If hypothesis q, then conclusion r.
If hypothesis p, then conclusion r.
Law of Syllogism
Name the postulate: Through any two points, there exists exactly one line.
Two Point Postulate
Name the postulate: A line contains at least two points.
Line-Point Postulate
Name the postulate: If two lines intersect, then their intersection is exactly one point.
Line Intersection Postulate
Name the postulate: Through any three noncollinear points, there exists exactly one plane.
Three Point Postulate
Name the postulate: A plane contains at least three noncollinear points.
Plane-Point Postulate