- #1
Obliv
- 52
- 1
I'm new to proofs and I'm not sure from which assumptions one has to start with in a proof. I'm trying to prove the generalized associative law for groups and if I start with the axioms of a group as the assumptions then I already have the proof.
From what basic assumptions should one start with in proving something? I'm thinking of starting with the definition of an equivalence relation. Would that even help with proving something like (a R b) R c = a R (b R c) for all a,b,c [itex] \in \mathbb{G} [/itex]?
From what basic assumptions should one start with in proving something? I'm thinking of starting with the definition of an equivalence relation. Would that even help with proving something like (a R b) R c = a R (b R c) for all a,b,c [itex] \in \mathbb{G} [/itex]?