Axioms Flashcards
(15 cards)
a+b is a real number
Closure for Addition
ab is a real number
Closure for Multiplication
a + b = b + a
Commutativity for Addition
ab = ba
Commutativity for Multiplication
a + (b + c) = (a + b) + c
Associativity for Addition
a(bc) = (ab)c
Associativity for Multiplication
c(a + b) = ca+ cb ; (a + b)c = ac+ bc
Distributivity of Multiplication over Addition
a + 0 = a ; 0 + a = a
Additive Identity
a ∙ 1 = a ; 1 ∙ a = a
Multiplicative Identity
a + -a = 0 ; -a + a = 0
Additive Inverse
a = a
Reflexive Property for Equality
if a = b, then b = a
Symmetric Property for Equality
if a = b and b = c, then a = c
Transitive Property for Equality
if a = b, then a + c = b + c
Addition Property for Equality
if a = b, then ac = bc
Multiplication Property for Equality