公式∀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 )