数学谓词逻辑

-  - 前束范式 - 例2.11：将公式((x)P(x) ∨ (y)Q(y))  (x)R(x)化为前束范式 - 解：