Properties provable by axiioms Flashcards
1
Q
-1 x y= -y
A
Multiplication Property
2
Q
x - y = x + (-y)
A
Definition of subrtaction
3
Q
if x is a real number then x=x
A
Reflexive axiom
4
Q
if x=y, then y=x
A
Symmetry Axiom
5
Q
If x=z and y=z, then x=z
A
Transitive axiom for equality
6
Q
If xy and y>z, then x>z
A
Transitive Axiom for order
7
Q
If y and x are real numbers, then exactly one of these is true:
y>x
y<x
y=x
A
Trichotomy Axiom
8
Q
If z=x, then x+y and z+y stand for equal numbers
A
Substitution for Sums property
9
Q
If z=x, then X x y and z x X stand for equal numbers
A
Substitution into products property
10
Q
if x+y, then x+z=y+z
A
Addition property of equality
