已知：(1)A真包含于B;(2)有C不是B;(3)若C不真包含A，则C真包含于A。问：A与C具有什么关系?请写出推导过程，并用欧拉图将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

单选题查看答案