1.2真值表、公式分类、命题定律、代入置换.ppt
《1.2真值表、公式分类、命题定律、代入置换.ppt》由会员分享,可在线阅读,更多相关《1.2真值表、公式分类、命题定律、代入置换.ppt(38页珍藏版)》请在三一文库上搜索。
1、符号化、公式分类 命题定律、代入置换,授课教师:程文刚 ,复习,引论:离散数学、数理逻辑 命题 联结词,复习题:,本命题是假的。 我不给所有自己给自己理发的人理发,但是却会给所有自己不给自己理发的人理发。,本节内容,命题符号化,命题分类与命题变元,命题 原子命题:不包含任何联结词的命题 复合命题:至少包含一个联结词的命题 命题变元 一个不确定的泛指的任意命题 定义: 以真(1)、假(0)为其变域的变元 注意:命题变元不是命题,只有用一个特定的命题取代才能确定它的真值:真或假(对该命题变元指派真值) 命题公式 含有命题变元的断言称为命题公式 注意:不是所有由命题变元、联结词和括号所组成的字符串都
2、能成为命题公式。,合式公式,原子公式 定义:单个命题变元和命题常元称为原子命题公式,简称原子公式。 合式公式 合式公式是由下列规则生成的公式: 单个原子公式是合式公式。 若A是一个合式公式,则(lA)也是一个合式公式。 若A、B是合式公式,则(AB)、(AB)、(AB)和(A B)都是合式公式。 只有有限次使用、和生成的公式才是合式公式。,合式公式(Cont.),例:下列符号串是否为命题公式。 (1) P(QPR); (2)(PQ)(QR),合式公式(Cont.),当合式公式比较复杂时,常常使用很多圆括号,为了减少圆括号的使用量,可作以下约定: 优先级由高到低的次序为:l、 相同的联结词按从左
3、至右次序计算时,圆括号可省略。 最外层的圆括号可以省略。,合式公式(Cont.),例子 PPQSQR 与 (P)(P)(Q(S)(Q)R) 运算顺序完全一样,前者不加一个括号. 请大家特别注意先后的习惯.,命题符号化,有了联结词的合式公式概念,我们可以把自然语言中的有些语句,翻译成数理逻辑中的符号形式,命题的符号化,把一个用文字叙述的命题相应地写成由命题标识符、联结词和圆括号表示的合式公式,称为命题的符号化。 符号化应注意以下几点: 确定句子是否为命题.不是就不必翻译. 确定句中连接词是否能对应于并且对应于哪一个命题连接词. 正确表示原子命题和选择命题连接词. 要按逻辑关系翻译而不能凭字面翻译
4、.,命题的符号化(Cont.),例:试以符号形式写出命题: 我们要做到身体好,学习好,工作好,为祖国四化建设而奋斗. 解: A:我们要做到身体好 B:我们要做到学习好 C:我们要做到工作好 P:我们要为祖国四化建设而奋斗 故命题可以表示为:,命题的符号化(Cont.),张三和李四同在做作业 P:张三做作业 Q:李四做作业 可译为PQ; 张三和李四是兄弟,命题的符号化(Cont.),“这盆花盛开,促使那些蜜蜂来采蜜”不可以符号化,为什么呢? 因为连接词促使不是命题连接词.根据是由它构成的复合命题的真值不能完全由构成它的原子命题的真值来确定. 例如令 P:这盆花盛开,值为1,Q:那些蜜蜂来采蜜,其
5、值为1,则这盆花盛开促使那些蜜蜂来采蜜值为1.又令 P:海水是咸的,其值为1,Q:那些蜜蜂来采蜜值为1,则海水是咸的促使那些蜜蜂来采蜜 值为0. 由此可见,两组原命题都为真,但由促使构成的复合命题的值一为真一为假,这不符合定义.,注意,自然语言中的一些联结词,如与”,“且”, “或”,“除非 则 ”等等都各有其具体含义, 需分别不同情况翻译成合适的逻辑联结词. 有时可以采用真值表的方式,来寻找合适的逻辑联结词,练习题,派小王或小李出差; 我们不能既划船又跑步; 如果你来了,那么他唱不唱歌将看你是否伴奏而定; 如果李明是体育爱好者,但不是文艺爱好者,那么李明不是文体爱好者; 假如上午不下雨,我去
6、看电影,否则就在家里看书。 辱骂和恐吓决不是战斗 除非天气好,否则我是不会去公园的,几个例子,除非你努力,否则你将失败 可以符号化为: PQ,其中 P:你努力,Q:你将失败. 只有睡好觉才能恢复疲劳可以符号化为:QP,其中 P:睡好觉,Q:恢复疲劳.(Q是P的必要条件),公式真值表,真值指派 为含有命题变元P1,P2,,Pn的命题公式,对P1,P2,,Pn分别指定一个真值,称为对公式的一组真值指派。 在公式中,对于命题变元指派真值的各种可能组合,就确定了这个命题的各种真值情况,把它汇列成表,就是命题公式的真值表 公式真值表构造方法: (1)找出公式中的全部命题变元,并按一定的顺序排列成P1,P
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 1.2 真值 公式 分类 命题 定律 代入 置换
链接地址:https://www.31doc.com/p-2150228.html