若已有以下定义和语句： #include int x=4，y=3，*p，*q，*s； p=&x； q=&y； s=q； q=NULL； 则下面分别给出的四条语句中，错误的是（）
A: *q=0；
B: s=p；
C: *p=x；
D: *p=*s；
A: *q=0；
B: s=p；
C: *p=x；
D: *p=*s；
举一反三
- 若有定义int x, *p ; float y , *q ; 则下面赋值语句正确的是______。 A: p=&x ; B: p=&y ; C: q=&x ; D: q = p ;
- 公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
- 以下正确的定义语句和赋值语句是 A: intb[3][5],(*p)[3],(*q)[5];p=b;q=b B: f1oatb[3][5],*p[3];p[0]=b[0];p[2]=*b+4 C: doubleb[3][5],s[5][3],*q;q=b;s=q D: intb[10],*q;char*s;q=b;s=b
- 3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))