Katherine Lin

Postulates and Theorems

Law of Detachment

If a conditional is true and its hypothesis is true, then its conclusion is true.

In symbolic form:

If p→q is a true statement and p is true, then q is true.

Law of Syllogism

If p→q and q→r are true statements, then p→r is a true statement.

Properties of Equality
Addition Property If a=b, then a + b = b + c

Subtraction Property If a=b, then a-c = b-c

Multiplication Property If a=b, then a • c = b • c

a b
Division Property If a=b and c≠0, then =
c c

Reflexive Property a=a

Symmetric Property If a=b, then b=a

Transitive Property If a=b and b=c, then a=c

Substitution Property If a=b, then b can replace a in any expression

The Distributive Property

a(b + c) = ab + ac

Properties of Congruence
Reflexive Property ´ ≡ AB
AB ´