用加法验算加法是应用了加法的(加法交换律 ),用减法验算加法是应用了加法的( 定义).