若ABC分别为有效三段论的前提和结论，D是与C相矛盾的直言命题。证明：ABD中必然有两个肯定命题。