【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)是
【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)中∃x的作用域为
【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)中∀y的作用域为
【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)中∀x的作用域为
【多选题】以下哪种药物可减弱华法林的代谢,使其作用增强?(多选)
【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)中∃y的作用域为
【单选题】∀x∀y(P(x, y) ∧Q( y, z))∧ ∃x∃yR(x, y)是
【多选题】以下哪种药物可增加华法林的代谢,使其作用减弱?(多选)
【单选题】公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为(对约束变元改名)
A.
∀ x ∀ u ( P ( x , u ) ∨ Q ( u , z ) ) ∧ ∃ t P ( t , y )
B.
∀ x ∀ y ( P ( x , u ) ∨ Q ( u , z ) ) ∧ ∃ x P ( x , u )
C.
∀ x ∀ y ( P ( x , y ) ∨ Q ( y , z ) ) ∧ ∃ x P ( x , u )
D.
∀ u ∀ y ( P ( u , y ) ∨ Q ( y , z ) ) ∧ ∃ u P ( u , y )