两种理解1、a推b的矛盾命题是a且负b，a且负b的矛盾命题是负a或b，负负得正。 2、a推出b等价于-b推出-a，否前肯后都为不确定 ，变成可能项，否前或肯后变成确定，