1命题逻辑课件1.pptVIP

liu qun northeastern university 数理逻辑的内容： 古典数理逻辑： CH1--命题逻辑、CH2--谓词逻辑 现代数理逻辑： 公理化集合论、递归论、模型论、证明论 命题逻辑 Proposition Logic 判断下列句子是否为命题: . （1） 2是素数 （2）雪是黑色的 （3）现在我们在上课 （4）2+2=5. （5） 1+101=110 （6）别的星球上有生命. 命题语句真值确定的几点说明： 1、时间性 2、区域性 3、标准性 命题真值间的关系表示： 真值表（Truth Table) 逻辑连接词： 在自然语言中,常常使用“或”,“与”,“但是”等一些连结词，数理逻辑也要用到逻辑连结词。 例：（11）我学英语，或者我学日语 （12）如果天气好，我就去散步 例 ： P： 伦敦是个多雾的城市 ┐ P： 伦敦并非是个多雾的城市 或 ┐ P： 伦敦不是一个多雾的城市. 例： P：今天下雨，Q：明天下