【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。
A. P(x); R(x, y)
B. P(x)∧Q(x, A); R(x, y)
C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)
D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
A. P(x); R(x, y)
B. P(x)∧Q(x, A); R(x, y)
C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)
D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
举一反三
- 公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。
- 表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀Zq())中∀x的辖域是() A: P(x,y) B: P(x,y)∨Q(z) C: R(x,y) D: P(x,y)∧R(x,y)
- 【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )
- 与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- 设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))