Algebra/Chapter 2/Logic and Proofs

{{Template:BOOKTEMPLATE/Page}} Template:Navigation Template:Resize

---

Contructing a Proof of a Conditional Statement

Properties of Equality

Property Name	Addition	Subtraction	Multiplication	Division
Commutative	$a+b=b+a$	Doesn't work: $a-b\ne b-a$ This does: $a+(-b)=(-b)+a$	$a*b=b*a$	Doesn't work: $a/b\ne b/a$ This does: $a*1/b=1/b*a$
Associative	$(a+b)+c=a+(b+c)$	Doesn't work: $(a-b)-c\ne a-(b-c)$ This does: $(a-b)-c=a-(b+c)=a+(-b-c)$	$(a*b)*c=a*(b*c)$	Doesn't work: $(a/b)/c\ne a/(b/c)$ This does: $(a/b)/c=a*1/b*1/c=a/b*c$
Identity	$a+0=a$	$a-0=a$	$a*1=a$	$a/1=a$
Inverse	$a+-a=0$	$a-a=0$	$a*(1/a)=1$   as long as a ≠ 0.	$a/a=1$   as long as a ≠ 0.
Distributive	$a*(b+c)=a*b+a*c$	$a*(b-c)=a*b-a*c$	$a*(b+c)=a*b+a*c$	$(a+b)/c=a/c+b/c$ But wait: $a/(b+c)\ne a/b+a/c$