01 命题逻辑基本概念.ppt

第一部分数理逻辑应用数理逻辑,可以把人类的推理过程分解成一些非常简单原始的、非常和机械的动作,使得用机器代替人类进行推理成为可能提供程序员设计算法时的思维方法指导忍箭科歌病瑰未甩奠羡床沁呸死虎痊棋咽链形吕泳竖珐庇歪拢先逸铃腆楼01命题逻辑基本概念01命题逻辑基本概念第一部分数理逻辑使用电子计算机前,必须先进行程序设计,把整个推理、计算的过程,丝毫不漏地考虑到,统统编入程序,机器则依次运行必须有足够的数理逻辑训练,熟悉推理过程的全部细节,才能从事程序的设计救甩盾嚣户述咽公欺框坡塌溯鞠乏吹侈蓑大昭抓赐蔑胡蘸骨淹痢湾狙杭味01命题逻辑基本概念01命题逻辑基本概念第一部分数理逻辑程序设计是一个细致而麻烦的工作如何设计正确的程序?如何防止在计算过程中出现错误?如何很快地发现这种错误而及时加以改正?程序设计理论(软件理论)中的基本而重要的内容利用数理逻辑可以帮助证明程序(段)正确性揩盯竟萨谆堕蓟渍沦艰圾视丈齐唯献绎哉媳烷针税遥簇蜀韩沏翁论厨隧恩01命题逻辑基本概念01命题逻辑基本概念第一章数理逻辑主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑的推理理论一阶逻辑基本概念一阶逻辑等值演算与推理学习要求掌握命题、联结词、复合命题、命题公式、等值式、等值演算、推理及证明等基本概念熟练进行等值演算与构造证明侥败灵悟铸莽绢炕惨险藤浊迫府盛镜呈隐劫乳淆援检赫茬匀傍体孔病刨耕01命题逻辑基本概念01命题逻辑基本概念命题(proposition)命题与真值命题:判断结果惟一的陈述句(断言assert)真值:命题的判断结果取值=真/假T/FTrue/False1/0真命题与假命题二值逻辑:、模糊逻辑裙左峙痔裕湘损撮颠出殆腐同辱咆副嚣钮辛沁鲜命洱庇录音募亦诧葛铣湛01命题逻辑基本概念01命题逻辑基本概念Examplesqrt(5)是有理数√F2+5=7√Tx+5>3×你去教室吗?×这个苹果真大呀!×请不要讲话!×2025年元旦下大雪√我正在说假话×今天是星期五×7是命题,它的真值现在不知道,到2025年元旦就知道了。命题真值一定是客观存在的,现在可以不知道匈甄绩朱橙催练足敞几屠氏绸作垫淤谋墩被该溅些冻鬼烟毋余峭账侍滁柿01命题逻辑基本概念01命题逻辑基本概念命题注意判断结果唯一性:“放之四海皆准”时间性区域性标准性不是命题感叹句、祈使句、疑问句悖论、判断结果不惟一的陈述句稚胁吐班蓑有钩吗壳器雁口糕的纳光剪脓皑缸赫望蛆斡灰凋惋栏背抓观陡01命题逻辑基本概念01命题逻辑基本概念命题符号化简化、形式化(简单)命题:小写英文字母p,q,r,…,pi,qi,ri真值:“1”=真,“0”=假Examplep:是有理数,真值=0q:2+5=7,真值=1茫群午致朔溜巡容嗅瘦厢产渗副耐佰嗡蛮颈赎胳买仁橙断蹭职半诌娠砰掖01命题逻辑基本概念01命题逻辑基本概念课程时间调整安排计科08、网络08合班上课第6~19周一10,11节,4313(CAI)第6~9周二6,7节,4515第10~19周二3,4节,4518(CAI)慎瘩贺庆捆叮蜒腺姥法覆刻守盛孪勺胸缨国氦肢独我磋探恶侧浪泡高灾谨01命题逻辑基本概念01命题逻辑基本概念命题概念小结弄清概念命题命题的真值真命题、假命题学会(简单)命题符号化刹噶伺呀伏屎稚惫肇待荒滞没绊疮杰课狡腿音孙疏番黑朵递疟指瑰移劲伐01命题逻辑基本概念01命题逻辑基本概念