创建自己的小题库
搜索
【单选题】
$表达式\forall x(P(x, y) \vee Q(z)) \wedge \exists y(R(x, y) \rightarrow \forall z Q(z))中\forall x的辖域是( ) $
A.
$P(x,y) $
B.
$P(x,y) \vee Q(z) $
C.
$R(x, y) $
D.
$P(x,y) \wedge R(x,y) $
题目标签：辖域
如何将EXCEL生成题库手机刷题
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【单选题】在谓词公式 ( " x )( F ( x ) Þ G ( y )) Þ ( $ y )( H ( x ) ∧ L ( x , y , z )) 中, ( " x ) 的辖域是( )
A.
( F ( x ) Þ G ( y ))
B.
. F ( x )
C.
( " x )( F ( x )
D.
( F ( x ) Þ G ( y )) Þ ( $ y )( H ( x ) ∧ L ( x , y , z ))
【单选题】谓词公式 ∀ x ( P ( x ) ∨ ∃ yR ( y )) → Q ( x ) 中量词 ∀ x 的辖域是
A.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%209.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D ∀ x ( P ( x ) ∨ ∃ yR ( y ))
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x )
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D P ( x ) ∨ ∃ yR ( y )
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x ), Q ( x )
相关题目：
【单选题】在谓词公式 ( " x )( F ( x ) Þ G ( y )) Þ ( $ y )( H ( x ) ∧ L ( x , y , z )) 中, ( " x ) 的辖域是( )
A.
( F ( x ) Þ G ( y ))
B.
. F ( x )
C.
( " x )( F ( x )
D.
( F ( x ) Þ G ( y )) Þ ( $ y )( H ( x ) ∧ L ( x , y , z ))
【单选题】谓词公式 ∀ x ( P ( x ) ∨ ∃ yR ( y )) → Q ( x ) 中量词 ∀ x 的辖域是
A.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%209.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D ∀ x ( P ( x ) ∨ ∃ yR ( y ))
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x )
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D P ( x ) ∨ ∃ yR ( y )
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x ), Q ( x )
参考解析：
AI解析
重新生成
题目纠错 0
发布
