问答题仅用↓表达P↑Q;仅用↑表达P↓Q。

您可能感兴趣的试卷

最新试题

用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”

题型:问答题

设图G=< V,E>,V={v1,v2,v3,v4},E={(v1,v2),(v1,v4),(v2,v4)},试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形。

题型:问答题

任意两个不同极大项的析取式必为()。

题型:单项选择题

无向图G是棵树,结点数为10,则G的边数是()

题型:单项选择题

设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。

题型:问答题

设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。

题型:单项选择题

给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。

题型:问答题

下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。

题型:问答题

符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。

题型:问答题

设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。

题型:单项选择题