Slide 11
Slide 11 text
1. A(B+C) = AB + AC for all A, B, C - the distributive property
2. AB = BA, A+B=B+A for all A, B - the commutative property
3. A=B and B=C implies A=C for all A, B, C - the transitivity axiom
4. A=B and C=D implies A+C=B+D for all A, B, C, D
5. 1A = A, 0A = 0, A+0 = A, A-A=0 for any A
6. (x + 1)(x - 1) = x(x - 1) + 1(x - 1) - follows from 1, 2
7. x(x - 1) = x2 - x - follows from 1
8. x(x - 1) + 1(x - 1) = x2 - x + x - 1 - follows from 4, 5, 6, 7
9. (x + 1)(x - 1) = x2 - 1 - follows from 3, 5, 6, 8
Axiomatic method
11
theorems
conclusions
statements
assertions
claims