（简答题）

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

正确答案

(1)A真包含于B，则所有A是B。
(2)由所有A是B，有C不是B，得有C不是A。
(3)由有C不是A，得并非C真包含于A。
(4)由此C真包含A。
(5)A、B、C三概念在外延上的欧拉图如下：

答案解析

略

相似试题

（简答题）
已知：（1）A真包含于B （2）有C不是B （3）若C不真包含A，则C真包含于A 问：A与C具有什么关系？请写出推导过程，并用欧拉图将A、B、C三个概念在外延上可能有的关系表示出来。
答案解析
（简答题）
有a、b、c三类。已知：甲a真包含于b，乙c与b交叉。试证：a与c的关系。
答案解析
（填空题）
已知a=3，b=4，c=5，表达式a>b and Not c>a Or c>b And c
答案解析
（简答题）
已知A、B、C、D有下列关系：（1）如果A不真包含于B，那么C与D不全异（2）只有B与D全异，B才不真包含于D （3）B与D相容但C与D不相容请推出A与B、B与D、A与D的外延关系，写出推导过程，并将A、B、C、D的外延关系表示在一个欧拉图中。
答案解析
（单选题）
有程序：LOGICALA，B，C，DINTEGERX，YDATAX，Y，A，B／1，-1，2*．FALSE．／C=．NOT．A．AND（B．OR．XGE．Y）D=．NOT．（A．AND．B．OR、X．GE．Y）WRITE（*，*）C，DEND上面程序的运行结果是：（）
答案解析
（单选题）
根据已知条件：“有C是B”和“所有A不是B”能推出的正确结论是（）
答案解析
（单选题）
已知A=40；B=30；C=100；D=50，逻辑“与”运算符为and，“或”运算符为or，“非”运算符为not。计算表达式（A>B）and（B
答案解析
（简答题）
以“所有A不是B”与“有C是A”为前提，能否必然推出“有B不是C”？能否必然推出“有C不是B”？为什么？
答案解析
（单选题）
已知A=40；B=30；C=100；D=50，逻辑“与”运算符为and，“或”运算符为or，“非”运算符为not。计算表达式（A>B）and（A
答案解析