一种可行的量化逻辑自然演绎系统

提出了一种较为可行的量化逻辑自然演绎系统 ,其中间接证明是这一系统的主要证明方法 ,而量词消去和置换规则是这一系统的基本演绎规则。