Can some tell me if this proof works and if not correct me please.

a+b = a+c -> b=c

~a·a+b = ~a·a+c -> b=c

b=c -> b=c

Proved!

Printable View

- February 26th 2009, 07:53 PMKitizhiFor all a,b,c ϵ B | a+b = a+c -> b = c
Can some tell me if this proof works and if not correct me please.

a+b = a+c -> b=c

~a·a+b = ~a·a+c -> b=c

b=c -> b=c

Proved! - February 26th 2009, 08:02 PMChris L T521
- February 26th 2009, 08:06 PMKitizhi
- February 26th 2009, 10:35 PMKitizhi
Hmm so this state is proven to be true right?

- February 26th 2009, 10:47 PMJhevon
- February 27th 2009, 12:44 PMKitizhi
oops for some reason i kept thinking multiplication.

sorry my mistake