11/08/05 20:32:57.73
>>565
「ABを(A×B)してよい」と「(A÷B)を(A/B)としてよい」は両立して問題ないが
「ABを(A×B)してよい」と「(A÷B)をA/Bとしてよい」は両立できない。
「a/b×c」、「a÷b/c」、「a/b/c」等も数式として認めたいなら
[7]結合子●が＋,－,×,÷,/のどれかであるとき
「((A÷B)●C)」を「(A/B●C)」
「(A●(B÷C))」を「(A●B/C)」としてよい
をさらに追加する必要がある。
11/08/05 20:32:57.73
>>565
「ABを(A×B)してよい」と「(A÷B)を(A/B)としてよい」は両立して問題ないが
「ABを(A×B)してよい」と「(A÷B)をA/Bとしてよい」は両立できない。
「a/b×c」、「a÷b/c」、「a/b/c」等も数式として認めたいなら
[7]結合子●が＋,－,×,÷,/のどれかであるとき
「((A÷B)●C)」を「(A/B●C)」
「(A●(B÷C))」を「(A●B/C)」としてよい
をさらに追加する必要がある。