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

根据已知条件：“有C是B”和“所有A不是B”能推出的正确结论是（）

单选题查看答案

以“所有A不是B”与“有C是A”为前提，能否必然推出“有B不是C”？能否必然推出“有C不是B”？为什么？

简答题查看答案

已知：(1)A真包含于B;(2)有C不是B;(3)若C不真包含A，则C真包含于A。问：A与C具有什么关系?请写出推导过程，并用欧拉图将A、B、C三概念在外延上可能有的关系表示出来。

简答题查看答案

当“所有A是B”为假而“有B不是A”为真时，A与B的外延关系或是（）关系，或是（）关系。

多选题查看答案

从“甲班有的同学不是团员”这一前提出发，可以必然地推出如下结论（）

单选题查看答案

根据对当关系，由SAP可推出的结论是（）

单选题查看答案

某地发生一起凶杀案，经分析，凶手是两个人合谋。又初步确定A、B、C、D、E五人是嫌疑犯，并了解到如下情况：（1）A、D二人中至少有一个人是凶手；（2）如果D是凶手，E一定是凶手；（3）B只有跟C在一起时，才参与作案；（4）如果B不是凶手，那么A也不可能是凶手；（5）C没有作案时间。问：究竟谁是凶手？请写出推导过程。

简答题查看答案

以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）

多选题查看答案

有a、b、c三类。已知：甲a真包含于b，乙c与b交叉。试证：a与c的关系。

简答题查看答案