假言前提的前件是第一个假言前提的前件的矛盾判断从同样的前提如果非导致矛盾的话，就说明这个前提本身是假的