真值表:从自然语言到形式语言的桥梁

作者：何孟杰

来源：考试周刊, 2007, (10): 126-127.

• 自然语言
• 形式化
• 真值表

逻辑科学、语言科学和计算机科学日益发展,对自然语言进行精密的逻辑分析的要求越来越高。对复杂的自然语言语句采用直观的形式化方法面临着困境。本文在自然语言形式化过程中引入真值表法,在实例运用、可行性与必要性、运用步骤等方面作了探讨,以期对自然语言作出更为精确可靠的形式化。

• 单位
  仰恩大学