问答题
求下面式子的前束范式: ∃x(¬ヨyP(x,y)→(∃zQ(z))→R(x)).
问答题 若ρ是可传递的,则也是可传递的吗?
问答题 若ρ是对称的,则也是对称的吗?
问答题 求下面式子的前束范式: ∀xP(x)→∀zQ(x,z)∨∀zR(x,y,z).