• 包含广义量词的关系三段论论文

    包含广义量词的关系三段论论文

    包含广义量词的关系三段论周家发摘要:本文介绍一种推导有效关系三段论格式的方法,这种方法建基于广义量词理论和命题逻辑的一些基本原理,包括代入法、演绎定理、前提代换、引入存在假设、...