>>371
＞等号原理調べろ
実はググるとこのスレッドが見つかるんだよね
で、何の説明もない、という

もしかして以下の法則のこと言ってる？
だったら簡単に書けるけど、

反射律　ｘ＝ｘ
対称律　ｘ＝ｙ　⇒　ｙ＝ｘ
推移律　ｘ＝ｙ　＆　ｙ＝ｚ　⇒　ｘ＝ｚ
代入律　ｘ＝ｙ　⇒　ｆ（…,ｘ,…）＝ｆ（…,ｙ,…）
　　　　ｘ＝ｙ　＆　ｆ（…,ｘ,…）　⇒　ｆ（…,ｙ,…）

なんで君、書いてあげないの？
もしかして・・・知らなかった？