下载APP
【判断题】
∀x P(x)∧∃yQ(x,y)整个公式中有两个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现。
A.
正确
B.
错误
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】在谓词公式 ( " 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 )
