22/04/17 17:37:07.90 .net
>>371
＞等号原理調べろ
実はググるとこのスレッドが見つかるんだよね
で、何の説明もない、という
もしかして以下の法則のこと言ってる？
だったら簡単に書けるけど、
反射律 ｘ＝ｘ
対称律 ｘ＝ｙ ⇒ ｙ＝ｘ
推移律 ｘ＝ｙ ＆ ｙ＝ｚ ⇒ ｘ＝ｚ
代入律 ｘ＝ｙ ⇒ ｆ（…,ｘ,…）＝ｆ（…,ｙ,…）
ｘ＝ｙ ＆ ｆ（…,ｘ,…） ⇒ ｆ（…,ｙ,…）
なんで君、書いてあげないの？
もしかして・・・知らなかった？
22/04/17 17:37:07.90 .net
>>371
＞等号原理調べろ
実はググるとこのスレッドが見つかるんだよね
で、何の説明もない、という
もしかして以下の法則のこと言ってる？
だったら簡単に書けるけど、
反射律 ｘ＝ｘ
対称律 ｘ＝ｙ ⇒ ｙ＝ｘ
推移律 ｘ＝ｙ ＆ ｙ＝ｚ ⇒ ｘ＝ｚ
代入律 ｘ＝ｙ ⇒ ｆ（…,ｘ,…）＝ｆ（…,ｙ,…）
ｘ＝ｙ ＆ ｆ（…,ｘ,…） ⇒ ｆ（…,ｙ,…）
なんで君、書いてあげないの？
もしかして・・・知らなかった？