问答题在自然推理系统P中,用附加前提证明法证明推理:前提:¬p∨(q→r),s→p,q结论:¬r→¬s。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
若集合A={1,2,3,4},则下列表述正确的是()。
题型:单项选择题
完全图K4不是平面图。()
题型:判断题
设集合A={{0}},则P(A)=()。
题型:单项选择题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
设关系R的关系图如下,试(1)写出R的关系表达式;(2)判断R是否为等价关系,并说明理由。
题型:问答题