06 自然语言形式化.pdfVIP

• 离散数学基础 离散数学基础 2017-11-17 命题逻辑的自然语言形式化的基本过程 − 确定原子命题，用命题形式  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  除非 q ：(p→q) » 除非 =  只有，q  是  p  的必要条件 » 例25 ：若要人不知，除非己莫为。 − 除非  p  才能 q ：(q→p)