若ABC分别为有效三段论的前提和结论，D是与B相矛盾的性质命题，证明D∧B├C不是有效的三段论。