「等式」の版間の差分
削除された内容 追加された内容
編集の要約なし タグ: モバイル編集 モバイルウェブ編集 |
m 代入原理の説明部分と整合するように命題関数を用いた表現に修正しました。 |
||
36行目:
が辺々がともに定義可能である限りにおいて成り立つことをいう。
これは''P(x)'' = {''x'' ± ''c''=''a'' ± ''c''},''P(x)'' = { ''xc''=''ac''}, ''P(x)={''x''/''c''=''a''/''c''} なる
: ''a'' = ''b'' ± ''c''
となることは複号同順で
| |||