した証明 。 3
に が5 の倍数ならば, ヵ は 5 の人数<育 3
、 。 の対人の真物が
証 5の人数でないならば 巡 は 5 の倍数でない」を証明す衣
較
。が5の倍数でないとき, ヵヶは5一2 5を一1 5を填1 94 (&は
の とき, ゲー25だ圭10を1ニ5(5太1 人
5記土2を は整数であるから, 巡 を5で割ったときの余りは 1
(0 ヵー5寺2 のとき, ゲニ25記土20を士4三5(5だだ土4り+4 (提
5だ4& は整数であるから, 7 を5で割ったときの余りは 4
(i)介のいずれについても, ZZ" は 5 の倍数でない。
よって, 対偶が真でもるから, もとの命題も真である。 区
【注意】 「複号同順」とは, 2 つ以上の複号「エ」が使われてゆい
同じ順序に使うとぃう意味:Gある語暫