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

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

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

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

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

写出下列议论中所运用的推理形式，并分析其有效性。过失犯罪不是故意犯罪，共同犯罪是故意犯罪，所以共同犯罪不是过失...

问答题写出下列议论中所运用的推理形式，并分析其有效性。过失犯罪不是故意犯罪，共同犯罪是故意犯罪，所以共同犯罪不是过失犯罪；合伙走私是共同犯罪，可见合伙走私不是过失犯罪，或者说，合伙走私是故意犯罪。