创建自己的小题库
搜索
【判断题】
∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现。
A.
正确
B.
错误
手机使用
分享
复制链接
新浪微博
分享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
发布
