单项选择题
因为概念A和B是真包含关系，所以，B和A也就具有真包含于关系，这一推理是（）。
A.正确的对称关系推理 B.不正确的对称关系推理 C.不正确的传递关系推理 D.正确的反传递性推理
单项选择题 如果以"所有A都不是B，所有A都是C"为前提，进行正确的三段论推理，可得出（）。
单项选择题 已知一个三段论的小前提是O判断，而此三段论为第三格，则能必然推出结论的是（）。
单项选择题 一个正确三段论的小前提是特称否定判断，则该三段论的格与式为（）。
