减法验算有2种方法。
1、减法验算方法如下：
（1）用加法验算。根据加法是减法的逆运算，在做完减法后，将其差与减数相加，如果计算是正确的，所得的和必须等于被减数。
（2）用减法验算。根据减法算式中各数之间的关系，在做完减法后将被减数减去差，如果计算是正确的，所得的结果必须等于减数。
2、减法的概念
减法定义：从一个数里面，去掉一部分数的算法，就是减法。如：9-4=5，就是从9里面减去4，结果是5。减法各部分意义：减号左边的数称为被减数，减号右边的数称为减数，结果称为差；如：9-4=5，其中9为被减数，4为减数，5为差。
3、减法的性质
（1）减法的性质一：一个数减去另一个数，被减数增加或减小，如果要使差保持不变，则减数也要增加或减小相等的量；
（2）减法的性质二：一个数减去另一个数，保持减数不变，则被减数增加或减小多少，差就增加或减小多少；
（3）减法的性质三：一个数减去另一个数，保持被减数不变，则减数增加或减小多少，差就减小或增加多少。
减法的起源与演变
1、减法的起源
减法的起源很早，古时候人们为了进行减法运算，发明了减法的符号，最早的减法符号出现在公元前1500年左右的一块巴比伦泥板上，那时的表示方式是将两个楔子向相反的方向划在泥板上，比如表示2-1时，先在泥板上刻下一个2，然后在2的右下角再刻一个1，即表示得1。
随着数学的发展，减法的符号也发生了简化，最终形成了现在的符号“-”。
2、减法的演变
在古代，人们并没有专门的减法符号，通常是通过将两个数字写在一起表示相加。到了公元三世纪，希腊出现了减号“↑”，但仍没有加法符号。
公元六世纪，印度出现了用单词的缩写作运算符号，其中减法是在减数上画一点表示。后来欧洲人承袭了印度的做法，开始使用拉丁字母的P表示加，用M表示减。
随着时间的推移，减法的符号逐渐被简化，最终形成了现在的符号“-”。
因此，减法的演变历程可以概括为：从无专门的减法符号到用“↑”表示减法，再到用“-”作为减法符号的简化形式。