削除された内容 追加された内容
m 219.69.2.202 (会話) による版を Kokokok による版へ巻き戻し
32行目:
と減数 {{mvar|b}} の加法の[[逆元]] {{math|−''b''}} を用いた加算に置き換えられる。
従って、減数が {{math|0}} の減算はそのまま被減数を与え、被減数が {{math|0}} の減算は減数の加法の逆元を与える。
:{{math|''a'' − 0 {{=}} ''a'',}} 1-0=1
:{{math|0 − ''a'' {{=}} (−''a'').}} , 0-5=-5
また、以下のような入れ替えは可能であり、
:{{math|(''a'' − ''b'') − ''c'' {{=}} (''a'' − ''c'') − ''b''}}, (36-5)-11=(36-11)-5=20
複数の減算は 1 つにまとめることができる。
:{{math|(''a'' − ''b'') − ''c'' {{=}} ''a'' − (''b'' + ''c'').}}