Chronology Current Month Current Thread Current Date
[Year List] [Month List (current year)] [Date Index] [Thread Index] [Thread Prev] [Thread Next] [Date Prev] [Date Next]

[Phys-L] Re: arithmetic



|
| The proof that (S0 + 0) is equal to (0 + S0) is easy.
|

Am I allowed to use associativity for "+",

i.e. may I use (a+b)+c = a+(b+c) for any, (a,b,c)

And may I use

a+c=b+c => a=b ?