代入法則

我流の同値関係を元に法則性を見つけます。人の認識として a=b⇒a*c=b*c "*"は広い意味での演算を表しています。 どう解決しようかと考えたら、やっぱり同値関係の法則として定義すべきなのかなと。 代入法則 加法 まずは加法の代入法則か...