自然语言形式化.pdf

? 计算机科学MOOC课程群 离离散散数数学学基基础础 命题逻辑的自然语言形式化的基本过程? ? 确定原子命题，用命题形式? p,?q,?……? 表示；? ? 确定联结词；? ? 按照自然语言语义构成复合命题? ? 一些基本例子? ? 例1：北京是个大城市。??(p)? ? 例2：北京不是个村庄。??(?p)? ? 例3：他既聪明又用功。??(p∧q)? ? 例4：他们一边干活，一边聊天。? (p∧q)? ? 例5：晚会上同学们有的唱歌有的跳舞。(p∨q)? ? 例6：他认真学习，所以成绩很好。? (p→q)? ? 例7：三角形是个等腰三角形当且仅当它有两个角相等。? (p?q)? ? 例8：? p? 或? q，二者必居其一。? (p∧?q)∨(?p∧q)? ? 特殊的连词?‐?结构与语义的讨论? ? 与? ? 例9：张三与李四是表兄弟。? (p)? ? 例10：张三与李四是中大同学。? – 含义1：张三是中大的在学学生，而且李四也是中大的在学学生。? (p∧q)? – 含义2：张三和李四在中大读书时是同一个班的。(p)? ? 特殊的连词?‐?结构与语义的讨论? ? 与? ? 例11：张三与李四是老乡。? – 张三与李四都是拥护咱们的老百姓。? (p∧q)? – 张三与李四来自同一个地方。? (p)? ? 例12：生存与死亡，必须作出选择。? – 排斥性选择：(p∧?q)∨(?p∧q)? ? 特殊的连词?‐?结构与语义的讨论? ? 或? ? 例13：To?be?or?not?to?be,?that’s?a?question.??(p)? ? 例14：音乐厅有5000或6000人。(p)? ? 例15：我今天下午5点在图书馆或在球场。? – 排斥性选择：(p∧?q)∨(?p∧q)? ? 特殊的连词?‐?结构与语义的讨论? ? 或? ? 例16：张三或李四都可以上场。? – 和上下文相关的相容性与排斥性选择? ?讨论出场方案时：? (p∨q)? ?赛中换1人时：(p∧?q)∨(?p∧q)? ? 特殊的连词?‐?结构与语义的讨论? ? 虽然? p? 但是(仍然)?q：(p∧q)?? ? 例17：他虽然很努力，但最后还是失败了。? ? 例18：虽然已是阳春三月，仍让人觉得丝丝寒意。? ? 特殊的连词?‐?结构与语义的讨论? ? 可能? p? 可能? q? ? 例19：嫌疑犯可能还在本市，也可能已逃往外地。? – 当“可能”强调的是选择语义时，句子表达的是一种排斥性选择： (p∧?q)∨(?p∧q)? – 比较：“嫌疑犯可能还在本市。”不是经典逻辑命题。? “嫌疑犯还在本市 的可能性很大。”是经典逻辑命题? (p)。? ? 特殊的连词?‐?结构与语义的讨论? ? 只要? p? 就? q：(p→q)? （p? 是? q? 的充分条件）? ? 例20：坦白从宽，抗拒从严。? ? 例21：人有多大胆，地有多高产。? ? 只有? p? 才? q：(q→p)? （p? 是? q? 的必要条件）? ? 例22：只有会休息的人，才是会工作的人。? (q→p)? ? 例23：只有他才能完成这项艰巨的任务。? (p)? ? 特殊的连词?‐?结构与语义的讨论? ? p? 除非? q：(?q→p)? ? =?if?not?q?then?p，?q? 作为蕴含结构的前件? ? 例24：我们明天去白???山，除非天下雨。? – 除非天下雨，否则我们明天去白云山。? ? 特殊的连词?‐?结构与语义的讨论? ? 如果? p?