要检验一个命题是否蕴涵另一个命题,只是需要看推导过程是否有矛盾。()
出自:哲学