真值表：从自然语言到形式语言的桥梁.pdfVIP

○ 出类拔萃 周刊 真 值 表 : 从 自 然 语 言 到 形 式 语 言 的 桥 梁 何孟杰 ( 仰 恩大学 社科部 福建 泉州 ) , 361005 摘 要 : 逻辑科 学 、语 言科学和 计算机科 学 日益发展 , 对 根据表 1中 “即使p 也q ”的取值情况, 我们可 以构造 出与它 自然语 言进 行精密 的逻辑分析 的要求越来越 高 。对 复杂 的 自 逻 辑等值 的 “”与 “( ) ( ) ”等逻辑 公式 , 故它应 q p ∧q ∨ p ∧q 然语 言语句采用直观 的形式化方法面 临着 困境 。本文在 自然 形式 化为 “( p ∧q) ∨( p ∧q) ”, 又可简化为 “q”, 即整个命题 语 言形式化过程 中引入真值表法, 在 实例运用 、可行性与必要 的真假取决于q的真假 。如 “即使你去, 我也去 ”, 等值于 “你‘去 性 、运用步骤等方面作 了探讨, 以期对 自然语 言作 出更为精确 我去( p ∧q) ’或者 你‘不去我去( p ∧q) ’”, 总之 , “我 ”都 “去 可靠 的形式化 。 ( q) ”。 关键词 : 自然语 言 形式化 真值表 对关系复杂 的 自然语言进 行形式化 。 如果货 币供应 总量保持现状, 而货 币需求量增加, 则银行 一 自然语 言形式化 中的困境 利率就会上升 如果货 币需求量增加 导致银行利率上升 则在 、 。 , 自然语 言为数众 多 的语词 、语句 , 在不 同的语境 下有不 同 银行存款更被看好, 主管部 门已宣布 货 币供应 总量保持不变 。 的含义, 甚至在 同一语境 下也存在 歧义; 逻辑语 言则 明确严 设 表示 “货 币供应 总量保持现状 ”, 表示 “货 币需求量增 p q 密 一条公式 只能有 唯一 的真值涵义 对于 自然语 言 的形式 加 表示 银行利率 上升 表示 在银行 存款更被看好 它 , 。 ”, r “ ”, s “ ”; 化, 人们 常用直观 的方法, 即根据个人对待处理 的 自然语 言材 很容 易被直观地形式化为 : 料 的 整体把握, 直接 断定其真值 情况 、列 出对 应 的逻辑 公 式, 前提 : (1) (p ∧q)→r (2) (q→r)→s