【单选题】
下列各组公式中，哪组是互为对偶的？___。
A. P,P
B. P,﹁P
C. A,(A*)*
D. A,A
查看试卷，进入试卷练习
微信扫一扫，开始刷题
答案
A
解析
暂无解析
相关试题
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中量词 x的作用域是___。
A. ( x)(P(x)∨( y)R(y))
B. P(x)
C. P(x)∨( y)R(y)
D. P(x) ,Q(x)
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中变元x是___。
A. 自由变量
B. 约束变量
C. 既不是自由变量也不是约束变量
D. 既是自由变量也是约束变量
【单选题】
设谓词P(x):x是奇数，Q(x):x是偶数，谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的？___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
【单选题】
设C(x):x是运动员，G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人，B(x):x犯错误，命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设Z(x):x是整数，N(x):x是负数，S(x,y):y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式：___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
【单选题】
令F(x):x是火车，G(y):y是汽车，H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为：___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域A={a,b}，公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中：P(a)是( x)P(x)的有效结论，其理论根据是___。
A. 全称规定规则（US）
B. 全称推广规则（UG）
C. 存在规定规则（ES）
D. 存在推广规则（EG）
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6}，则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A}，则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的，对称的
D. 反自反的，传递的
【单选题】
设集合A={a,b,c}，R是A上的二元关系，R={<a,a>,<a,b>,<a,c>,<c,a>}，那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
推荐试题
【填空题】
131.司机在调车作业中应时刻注意确认信号，不间断地进行晾望，认真执行呼唤应答制，正确及时地执行信号显示(作业指令)和( ) 的要求，没有信号(指令)不准动车，信号(指令)不清立即停车。
【填空题】
145.线路所防护分歧道岔的通过色灯信号机开放经道分侧向位置的进路时显示一个黄色闪光和一个黄色灯光表示分歧道岔为___号及以上， 开往半自动闭塞或自动站问闭塞区间，或开往自动闭塞区问且列车运行前方次一闭塞分区空闲。
