Name:guest
Exercise 3_1_5
Prove x+2+3=x+(2+3) with
these axioms
.
Examples
Reasoning:
Algebra Section 3_1
,
List of instructions
,
Typing fractions and other symbols
CyberProf(TM)