皮皮学，免费搜题
登录
搜题
【判断题】
硬度是衡量金属材料软硬程度的指标,是指金属抵抗局部弹性变形、塑性变形、压痕或划痕的能力。A.
正确
B.
错误
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈参考答案：
举一反三
【单选题】以下谓词公式中，( )是逻辑有效式。
A.
" x Q ( x ) Þ ( $ x Q ( x ) ∨ " y S ( y ) )
B.
$ x (A( x ) Þ B) Û $ x A( x ) Þ B
C.
$ x ( A ( x ) ∧ B ( x )) Û $ x A ( x ) ∧ $ x B ( x )
D.
" x $ y P ( x , y ) Þ $ x " y P ( x , y )
【单选题】以下谓词公式中, ( ) 是逻辑有效式。
A.
$ x (A( x ) Þ B) Û $ x A( x ) Þ B
B.
" x Q ( x ) Þ ( $ x Q ( x ) ∨ " y S ( y ) )
C.
" x $ y P ( x , y ) Þ $ x " y P ( x , y )
D.
$ x ( A ( x ) ∧ B ( x )) Û $ x A ( x ) ∧ $ x B ( x )
【简答题】谓词命题公式("x)(P(x)→Q(x)∨R(x,y))中的约束变元为 ( ).
【单选题】谓词公式 " x(P(x,y) ∨ Q(z)) ∧ $ y(R(x,y) → " z Q(z)) 中, " x 的辖域是 ( ) 。
A.
P(x,y)
B.
R(x,y)
C.
P(x,y) ∨ Q(z)
D.
R(x,y) → " z Q(z)
【单选题】谓词公式 ( " x(P(x)∨ $ yR (y))→Q(x)) 中变元 x 是( )
A.
自由变元
B.
、约束变元
C.
、既不是自由变元也不是约束变元
D.
、既是自由变元也是约束变元
相关题目：
参考解析：
知识点：
题目纠错 0
发布
