11/08/05 18:57:46.48
>>251の命題論理のように、四則演算の数式の定義は
原子式:a,b,c,…
結合子:＋,－,×,÷
補助記号:(,)
で
(1)原子式は数式である
(2)A,Bが数式である時、(A＋B),(A－B),(A×B),(A÷B)はそれぞれ数式である
(3)上で、数式であるとしたものと、それを以下に従い書き換えたものだけが、数式である
各結合子には、固有の結合の強さがあり、その大小は{×,÷}＞{＋,－}である
A,B,Cが数式の時
[1](A×B)をABと省略してよい
[2]結合子●,▲の固有の結合の強さの大小が{●}＞{▲}ならば
((A●B)▲C)を(A●B▲C)
(A▲(B●C))を(A▲B●C)と省略してよい
[3]結合子●,▲の固有の結合の強さの大小が{●}＝{▲}ならば
((A●B)▲C)を(A●B▲C)と省略してよい
[4]結合子●が＋であるか、×であるとき
(A●(B●C))を(A●B●C)と省略してよい
[5]両端の括弧は、省略してよい
等と、構文論的・形式主義的には定義したい。
(当然、紙媒体かネットか関係ない)
結合子に"/"も含めるなら、
[6](A÷B)を(A/B)と書き換えてよい
を追加すればよい