不用联结词的“舍…取…”型自然推演系统

作者：杜国平

来源：湖南科技大学学报(社会科学版), 2019, 22(03): 21-24.

DOI：10.13582/j.cnki.1672-7835.2019.03.004

• “舍…取…”型联结词
• 括号表示法
• 量词
• 自然推理系统

"不…而…"("舍…取…")是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达"不…而…"("舍…取…")的语法功能。在括号表示法的形式语言中,"( )"有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以"舍…取…"作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。

• 单位
  中国社会科学院哲学研究所