an educated guess based on known information and specific examples
2
New cards
counterexample
an example that contradicts the conjecture showing that the conjecture is not always true; only one counterexample is needed to prove that the entire conjecture is false
3
New cards
statement
any sentence that is either true or false, but not both
4
New cards
truth value
the truth or falsity of a statement
5
New cards
compound statement
two or more statements joined by the word "and" or "or"
6
New cards
conjunction
a compound statement formed by joining two or more statements with the word and; a conjunction is true only when all of its statements are true; signaled by "^"
7
New cards
disjunction
a compound statement formed by joining two or more statements with the word or; a disjunction is true if at least one of its statements are true; signaled by "ˇ"
8
New cards
conditional statement
a compound statement that consists of a premise, or hypothesis, and a conclusion, which is false only when its premise is true and its conclusion is false
9
New cards
if-then statement
a compound statement of the form "if p, then q" where p and q are statements; written as "p -\> q", "if p, then q" and "p implies q"
10
New cards
hypothesis
the phrase immediately following the word "if" in a conditional statement
11
New cards
conclusion
the phrase immediately following the word "then" in a conditional statement
12
New cards
converse
the statement formed by exchanging the hypothesis and conclusion of a conditional statement
13
New cards
inverse
the statement formed by negating both the hypothesis and conclusion of a conditional statement
14
New cards
contrapositive
the statement formed by negating both the hypothesis and conclusion of the converse of a conditional statement
15
New cards
biconditional statement
the conjunction of a conditional and its converse; written as either "(p -\> q)^(q -\>p) -\> (p
16
New cards
inductive reasoning
the process of reaching a conclusion based on a pattern of examples; assuming that an observed pattern may continue
17
New cards
deductive reasoning
using general facts, rules, definitions, or properties to reach specific valid conclusions from given statements
18
New cards
valid argument
an argument is valid if it is impossible for all of the premises, or supporting statements, of the argument to be true and its conclusion false
19
New cards
Law of Detachment
if p -\> q is a true statement and p is true, then q is true; Example: If a car is out of gas (p), then it will not start (q). Sarah's car is out of gas (p is true). Therefore, Sarah's car will not start (q is true); related to deductive reasoning
20
New cards
Law of Syllogism
if p -\>q and q -\> r are true statements, then p-\>r is a true statement; Example: If you get a job (p), then you will earn money (q). If you will earn money (q), then you will buy a car (r). Therefore, if you get a job (p), you will buy a car (r)
21
New cards
Postulate 3.1 (the numbers of the postulates are not necessary to know)
through any two points, there is exactly one line
22
New cards
Postulate 3.2
through any three noncollinear points, there is exactly one plane
23
New cards
Postulate 3.3
a line contains at least two points
24
New cards
Postulate 3.4
a plane contains at least three noncollinear points
25
New cards
Postulate 3.5
if two points lie in a plane, then the entire line containing those points lies in that plane
26
New cards
Postulate 3.6
if two lines intersect, then their intersection is exactly one point
27
New cards
Postulate 3.7
if two planes intersect, then their intersection is a line.
28
New cards
proof
a logical argument in which each statement you make is supported by a statement that is accepted as true; these supporting statements may include definitions, postulates, and theorems
29
New cards
two-column proof
a proof in which the steps are written in the left column and the corresponding reasons are written in the right column.
30
New cards
deductive argument
an argument that proves a statement by building a logical chain of statements and reasons
31
New cards
flow proof
a type of proof that uses boxes and arrows to show the flow of a logical argument
32
New cards
paragraph proof
a proof written in the form of a paragraph that explains why a conjecture for a given situation is true; includes the undefined terms, theorems, definitions, or postulates that support each statement
33
New cards
Postulate 3.8: Ruler Postulate
the points on any line or line segment can be put into one-to-one correspondence with real numbers.
34
New cards
Postulate 3.9: Segment Addition Postulate
if A, B, and C are collinear, then point B is between A and C if and only if AB+BC\=AC
35
New cards
Postulate 3.10: Protractor Postulate
every angle has a measure that is between 0 and 180
36
New cards
Postulate 3.11: Angle Addition Postulate
D is in the interior of
37
New cards
Theorem 3.3: Supplement Theorem
if two angles form a linear pair, then they are supplementary angles
38
New cards
Theorem 3.4: Complement Theorem
if the noncommon sides of two adjacent angles form a right angle, then the angles are complementary angles.
39
New cards
Theorem 3.5: Reflexive Property of Congruence
any geometric object is congruent to itself
40
New cards
Theorem 3.5: Symmetric Property of Congruence
if one geometric object is congruent to a second, then the second object is congruent to the first.
41
New cards
Theorem 3.5: Transitive Property of Congruence
if one geometric object is congruent to a second, and the second is congruent to a third, then the first object is congruent to the third object.
42
New cards
Theorem 3.6: Congruent Supplements Theorem
angles supplementary to the same angle or to congruent angles are congruent
43
New cards
Theorem 3.7: Congruent Complements Theorem
angles complementary to the same angle or to congruent angles are congruent
44
New cards
Theorem 3.8: Vertical Angles Theorem
if two angles are vertical angles, then they are congruent.
45
New cards
Theorem 3.9
if two lines are perpendicular, then they intersect to form four right angles.
46
New cards
Theorem 3.10
all right angles are congruent
47
New cards
Theorem 3.11
perpendicular lines form congruent adjacent angles
48
New cards
Theorem 3.12
if two angles are congruent and supplementary, then each angle is a right angle
49
New cards
Theorem 3.13
if two congruent angles form a linear pair, then they are right angles
50
New cards
parallel lines
coplanar lines that do not intersect
51
New cards
skew lines
lines that do not intersect and are not coplanar
52
New cards
parallel planes
planes that do not intersect
53
New cards
transversal
a line that intersects two or more coplanar lines at different points
54
New cards
interior angles
angles that lie between two transversals that intersect the same line
55
New cards
exterior angles
the four outer angles formed by two lines cut by a transversal
56
New cards
consecutive interior angles
interior angles that lie on the same side of the transversal
57
New cards
alternate interior angles
nonadjacent interior angles that lie on opposite sides of the transversal
58
New cards
alternate exterior angles
nonadjacent exterior angles that lie on opposite sides of the transversal
59
New cards
corresponding angles
angles that lie on the same side of the transversal and in corresponding positions
60
New cards
Theorem 3.14: Corresponding Angles Theorem
if two parallel lines are cut by a transversal, then each pair of corresponding angles is congruent.
61
New cards
Theorem 3.15: Alternate Interior Angles Theorem
if two parallel lines are cut by a transversal, then each pair of alternate interior angles is congruent
62
New cards
Theorem 3.16: Consecutive Interior Angles Theorem
if two parallel lines are cut by a transversal, then each pair of consecutive interior angles is supplementary
63
New cards
Theorem 3.17: Alternate Exterior Angles Theorem
if two parallel lines are cut by a transversal, then each pair of alternate exterior angles is congruent
64
New cards
Theorem 3.18: Perpendicular Transversal Theorem
in a plane, if a line is perpendicular to one of two parallel lines, then it is perpendicular to the other.
65
New cards
slope
the ratio of the change in the y-coordinate (rise) to the corresponding x-coordinate (run) as you move from one point to another along a line
66
New cards
slope criteria
outlines a method for proving the relationship between lines based on a comparison of the slopes of the lines
67
New cards
Postulate 3.12: Slopes of Parallel Lines
the slopes of two non-vertical lines are identical if and only if they are parallel; all vertical lines are parallel to other vertical lines
68
New cards
Postulate 3.12: Slopes of Perpendicular Lines
two non-vertical lines are perpendicular if and only if their slopes are negative reciprocals; vertical and horizontal lines are parallel
69
New cards
slope-intercept form
y\=mx+b, where m is the slope and b is the y-intercept of the line.
70
New cards
point slope form
y-y₁\=m(x-x₁)
71
New cards
equation of a horizontal line
y\=b, where b is the y-intercept
72
New cards
equation of a vertical line
x\=a, where a is the x-intercept
73
New cards
Theorem 3.19: Converse of Corresponding Angles Theorem
if two lines are cut by a transversal so that corresponding angles are congruent, then the lines are parallel
74
New cards
Postulate 3.13
if given a line and a point not on that line, then there exists exactly one line through the point that is parallel to the given line
75
New cards
Theorem 3.20: Alternate Exterior Angles Converse
if two lines are cut by a transversal so that alternate exterior angles are congruent, then the lines are parallel