向前向后法证明一阶逻辑的几个定理

• Proving Several Theorems in First Order Logic Based on Back-and-Forth Method