2020/1/3,1,离散数学(DiscreteMathematics),计算机科学与技术学院（SchoolofComputerScience(2)使用合适的联结词,把简单命题逐个的联结起来,组成复合命题的符号化表示.,2020/1/3,计算机科学与技术学院,第一章命题逻辑（PropositionalLogic）1.3命题公式与翻译,例3：1)我今天进城，除非下雨。2)仅当你走我将留下。3)假如上午不下雨，我去看电影，否则就在家里读书或看报。4)除非你努力，否则你将失败。5)一个人起初说：“占据空间的、有质量的而且不断变化的叫做物质”；后来他改说，“占据空间的有质量的叫做物质，而物质是不断变化的。”问他前后主张的差异在什么地方，试以命题形式进行分析。,2020/1/3,计算机科学与技术学院,第一章命题逻辑（PropositionalLogic）1.3命题公式与翻译,例4：P6例1.3.3，例1.3.4(5)，例1.3.5小结：本节介了命题公式的概念及复合命题的符号化.重点是理解命题公式的递归定义,掌握复合命题的符号化方法.作业:P7:2,2020/1/3,计算机科学与技术学院,第一章命
