Collinear
Points that lie on the same line
Non-Collinear
Points that do not lie on the same line
Coplanar
Points that lie on the same plane
Non-Coplanar
Points that do not lie on the same plane
Conjunction
∧ “And”
Disjunction
∨ “Or”
Conditional
p→q
Inverse
~p→~q
Converse
q→p
Contrapositive
~q→~p
Bi-Conditional
p↔q “If and only if”
Law of Detachment
If p then q
Law of Syllogism
If p then q.
If q then r.
Symmetric Property (of = or ≅)
If <ABC ≅ <CBD, then <CBD ≅ <ABC
Substitution Property of Equality
If VW+WY=ZY, and VW+WY=XZ, then XZ=ZY
Definition of Midpoint
If S is between R and T, then RS+ST=RT
Subtraction Property of Equality
If JK+KL=MN+KL, then JK=MN
Transitive Property (of = or ≅)
If m<A=m<C, and m<C=m<D, then m<A=m<D
Addition Property of Equality
If PQ=QT, then PQ+RS=QT+RS
Reflexive Property (of = or ≅)
m<DEF=m<DEF
Multiplication Property of Equality
If 1/2XZ=XY, then XZ=2XY
Definition of Congruence
If m<LMN=m<MNP, then <LMN≅<MNP