第一章命题逻辑1.pptVIP

异或——? 定义： 表征意义 双条件 的真值表 */34 或 蕴涵——→ 定义： 表征意义 蕴含 的真值表 */34 或 蕴涵——→ 政治家竞选时许诺 “如果我当选了，那么我将会打击腐败”。 如果今天是星期五，那么2+2=4. 与程序设计中if p then S语句的区别。 */34 现实世界中无意义的语言也可以翻译 蕴涵——→ 在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。 然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。 */34 等价——? 定义： 表征意义 等价 的真值表 */34 或 ！注意： 由逻辑联结词联结的命题之间不需要任何关系。 优先次序： 1.1 命题与命题逻辑联结词 */34 ù ú ? ? ? （） 句子到逻辑表达式的翻译 步骤： 确定给定的句子是否为命题； 找出各原子命题并确定句子中的连词为对应的联结词； 用正确的语法把原命题表示成由原子命题、联结词和圆括号组成的公式。 */34 句子到逻辑表达式的翻译 翻译下列命题： (1)他既聪明又用功。 (2)他虽聪明但不用功。 解： 原子命题 P：他聪明。 Q：他用功。 则有： (1)