题目内容
(请给出正确答案)
[单选题]
谓词公式∃xA(x)∧¬∃xA(x)的类型是下列4个中的哪一个?()
A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于(A),(B),(C)任何类型
答案
查看答案
A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于(A),(B),(C)任何类型
第2题
A.XB::XB(inta,intb):x(a),y(b){}
B.XB::XB(inta,intb):XA(a),y(b){}
C.XB::XB(inta,intb):x(a),XB(b){}
D.XB::XB(inta,intb):XA(a),XB(b){}
第3题
A.∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)
B.∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
C.∀x(A(x)→B)⇔∀xA(x)→B
D.∃x(A(x)→B)⇔∃xA(x)→B
第6题
设x*是f(x)=0在区间[a,b]上的根xA∈[a.6]是x*的近似值,且求证:
第9题
不正确的定义语句是()。
A.double x[5]={2.0,4.0,6.0,8.0,10.0};
B.int y[5]={0,1,3,5,7,9};
C.char c1[]={'1','2','3','4','5'};
D.char c2[]={'\x10','\xa','\x8'};