香港理工大学中文及双语学系论文

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