【离散数学】第一章 笔记(完) |
您所在的位置:网站首页 › 数学命题中或和且的详细区别 › 【离散数学】第一章 笔记(完) |
很零碎的笔记,供自己复习用。 截图是老师的课件。 第一章 命题逻辑 命题能够判断真假的陈述句称作命题。 能够判断真假陈述句一个命题的“结果”,称为真值。 (真值只是一个名字,与真假无关) 例: X>Y 不是命题,因为无法判断真假。 明天会下雨 是命题,可以判断真假。 命题变元不是命题。 命题变元:命题标识符如仅是表示任意命题的位置标识,就称为命题变元。 它是位置标识,不是能判真假的陈述句。 原子变元:当命题变元表示原子命题时,该变元称为原子变元。 命题连接词命题连接词: 逻辑否定词“┐”是一个一元运算, 它的意义是“否定”被否定命题的全部, 而不是一部分。 如:全都的否定是不全都,而不是全不都。 (100%的否定是非100%,而不是0%。) 可兼或与排斥或: 析取词“∨”表示的是一种“可兼或”, 允许所有部分命题同时为真。 如:你聪明,你可爱,可兼或。 你男,你女,不可兼或(排斥)。 不可兼或的标准写法: 例:人固有一死,或重于泰山,或轻于鸿毛。 P:重 Q:轻 翻译:(P∧┐Q)∨(Q∧┐P) 条件词条件词(蕴涵词)—— →: 注:当前件P为真, 后件Q为假时, 命题P → Q取值为假, 否则P → Q取值为真。 前真后假才为假,其余为真。 当、仅当P→Q与当、仅当: P→Q: “只要P就Q”、 “P仅当Q”。 则此时Q→P就是Q当P。 P仅当Q 可译为P→Q P当Q 可译为Q→P 只有当,是仅当。 双条件“P当且仅当Q”也是一个命题,记为P双箭头(打不出来)Q,读 作P当且仅当Q。 双箭头是充要条件。 含有n个命题变元的公式有2^n组不同的的真值指派。 若两个命题真值表相同,则两命题等价:
重言式或永真公式:全1; 矛盾式或永假公式:全0; 可满足式:可1; 蕴含式: A在B里:
1、不能同时出现
联结词功能完全组: 定义:
形如下图的不是小项: 命题变元及其否定一起出现命题变元没全出现
真值表法:
直接整明法: 一个PTEI的例子:
A与非B不相容,则A→B; CP规则A要蕴含B→C,则A合取B要蕴含C。
|
今日新闻 |
推荐新闻 |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |