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

问答题 用三段论规则证明：第四格的大小前提均不能是O命题。

问答题 设A表示命题“所有精通逻辑的都精通英语”，B表示“所有精通英语的不精通数学”，C表示“有些精通数学的精通逻辑”。证明：若A与B均真，则C假。