问答题
在自然推理系统F中构造下面推理的证明
前提:xF(x)→y(F(y)∨G(v)→R(y)),xF(x)
结论:xR(x)
您可能感兴趣的试卷
最新试题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
无向图G是棵树,结点数为10,则G的边数是()
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
求出谓词公式的前束范式。
题型:问答题
下列命题相容吗?
题型:问答题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
任意两个不同极大项的析取式必为()。
题型:单项选择题