问答题用消解证明法构造推理的证明:前提:¬p∨r,¬q∨r,p∧q结论:t→(r∧s)。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
无向图G是棵树,结点数为10,则G的边数是()
题型:单项选择题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
下列命题相容吗?
题型:问答题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题