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