Test 2 Flashcards
A statement with a variable, also known as a open statement
predicate
statement with a variable
open statement
a statement either true or false; sometimes called a proposition
closed statement
a way to close an open statement, choosing variable conditions
quantification
existential quantifier; “exists” “some” or “at least one”
∃
“in”
∈
a universal quantifier; “all” or “every”
∀
“not” “all x’s” are P(x) = there is at least one x not P(x)
~(∀x)P(x)≡(∃x)~P(x)
~(∃x)P(x)≡(∀x)~P(x)
there is not at least one x that are P(x) = all x are no P(x)
Chain of implications leading directly from hypothesis to conclusion
direct proof
rule of logic that moves a proof forward ina directly way
syllogism
disproof of a conjecture
counterexample
(points) lying in the same straight line
collinearity
the line segment from a vertex perpendicular to the line containing the opposite side
altitude
the point at which the three altitudes of a triangle intersect (H)
orthocenter
line segment from a vertex to the midpoint of the opposite side
median
the point where 3 medians of a triangle intersect (G)
centroid
segment from vertex of a triangle to a point on the line containing the opposite side
cevian