• 周家发:包含广义量词的关系三段论论文

    周家发:包含广义量词的关系三段论论文

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