简答题 证明中项周延两次的三段论有效式的结论不能是全称命题。

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

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

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

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

设A表示命题“所有精通逻辑的都精通英语”，B表示“所有精通英语的不精通数学”，C表示“有些精通数学的精通逻辑”...

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