「等式」の版間の差分
削除された内容 追加された内容
m 代入原理の説明部分と整合するように命題関数を用いた表現に修正しました。 |
Starrywave (会話 | 投稿記録) 編集の要約なし |
||
24行目:
が成り立つ、という形に述べることもある。これは[[命題関数]] ''P''(''x'') において自由変数 ''x'' が複数回現れるとき、命題 ''P''(''a'') に現れる ''a'' の一部をそれと等しいもので置き換えてもよいことを含意している。なんとなれば、全ての ''i'' について ''a''<sub>''i''</sub> = ''a'' で、いくつかの ''j'' について ''b''<sub>''j''</sub> = ''b'' かつそれ以外の ''j'' について ''b''<sub>''j''</sub> = ''a'' と置いてみるとよい。
初等・中等教育においては、上記３つの公理を「等式の性質」としてとらえ 反射性・対称性・推移性に、斉一性を加えた４つの性質を用いて、等式の操作を行う。
| |||