由所有A不是B和有的C是B，可推出的结论是（）或（）。

以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）和（）。

A.第一格大前提应全称
B.第一格小前提应肯定
C.第二格两个前提应有一个是否定的
D.第三格小前提应肯定
E.第三格结论应特称

点击查看答案

归谬法与反证法的主要区别为（）和（）。

A.前者用于反驳，后者用于论证
B.前者用于论证，后者用于反驳
C.前者需要排中律，后者不需要排中律
D.前者不需要排中律，后者需要排中律
E.前者需要设反论题，后者不需要设反论题

点击查看答案