离散数学
文章平均质量分 52
悟空在游泳
无
展开
-
命题逻辑-1
真值:命题可以取一个值,称为真值。真值只有“真”和“假”两种,分别用“1”(“T”)和“0”(“F”)表示。 命题:具有确切真值的陈述句。一切没有判断内容的句子,都不能作为命题。原子命题:不能再分解为更简单的命题。 复合命题:可以分解为成简单的命题,与原子命题相对。 联结词:否定联结词(非),合取联结词(并且),析取联结词(或),蕴涵联结词(推理),等价联结词。否定:真值结果取反 合取:P,原创 2017-10-18 23:12:54 · 2695 阅读 · 0 评论 -
命题逻辑-2
文字:命题变元或命题变元的否定 析取式:有限个文字的析取称为析取式,也称子句 合取式:有限个文字的合取称为合取式,也称短语 互补对:P与¬P称为互补对 析取范式:有限个短语的析取式为析取范式 合取范式:有限个子句的合取式为合取范式 极小项与极大项:在含有n个命题变元P1,P2,…,Pn的短语或子句中,若每个命题变元与其否定不同时存在,但二者之一恰好出现一次且仅出现一次,并且出现的次序与P原创 2017-10-19 23:07:23 · 466 阅读 · 0 评论 -
数理逻辑模拟-2
推理题之CP规则 一般用于S->T的类型 将S作为附加前提 推导出T 这就是CP规则的用法证明代数系统 先确定集合为非空集合 再保证运算在该集合上是封闭运算主析取范式与主合取范式的转换 若有主析取范式 G=m1+m2+m3+m5+m7 则¬G=m0+m4+m6 主合取范式为G=¬m0+¬m4+¬m6单射双射满射 单射就是只能一对一,不能多对一,满射就是不论一对一,还是多对一,在原创 2017-11-06 21:54:10 · 638 阅读 · 0 评论 -
谓词逻辑
个体词:在原子命题中,可以存在的客体(句子中的主语、宾语等) 谓词:用以刻画客体性质或客体之间的关系的词 个体常量:表示具体或特定的个体词 个体变量:表示抽象或泛指的个体词 个体域:个体词的取值范围 全总个体域:宇宙间所有的个体域聚集在一起所构成的个体域 存在量词:∃x(其中x称为作用变量) 全称量词:∀x(其中x称为作用变量) 辖域:一般将其量词加在其谓词之前,记为(∀x)F(x)原创 2017-10-22 22:56:19 · 1834 阅读 · 0 评论 -
证明技术
基本证明技术 1.直接证明 通过直接证明:若前提P为真,则结论Q也必然为真来证明蕴涵式P→Q成立,这样就证明了P真Q假的组合不可能存在,这种证明称为直接证明 2.间接证明 因为蕴涵式P→Q等价于它的逆否命题¬Q→¬P,所以可以通过证明它的逆否命题¬Q→¬P为真来证明蕴涵式P→Q成立,这种类型的论证为间接证明典型证明技术 1.空证明 在蕴涵式P→Q中,当前件P为假时,无论其后件Q为真与否,原创 2017-10-23 09:31:58 · 715 阅读 · 0 评论 -
离散数学复习笔记-1
量词辖域的确定方法: 1.若量词后有括号,则括号内的子公式就是量词的辖域 2.若量词后没有括号,则与量词邻接的子公式就是该量词的辖域约束变元的改名规则: 1.将量词中出现的变元以及该量词辖域中此变量所有约束出现都用新的个体变元替换 2.新的变元一定要有别于改名辖域中的所有其他变量自由变元的代入规则: 1.将公式中出现该自由变元的每一处都用新的个体变元替换 2.新变元不允许在原公式中以任何原创 2017-10-30 19:25:40 · 7001 阅读 · 0 评论 -
离散数学复习笔记-2
利用真值表技术求某公式的主析取范式和主合取范式(一般是大题) 1.先列出真值表(真值表中不需要列出极大项和极小项) 2.根据真值表中的公式等于1对应的情况写出极小项,构造主析取范式 3.根据剩余极小项,进行取反获得主合取范式 先列真值表 再求主析取范式 再根据主析取范式求主合取范式求某公式的主析取范式和主合取范式(选择填空题) 如果是要同时求主析取范式和主合取范式,先看公式容不容易原创 2017-10-31 10:08:50 · 2891 阅读 · 1 评论 -
代数系统
如果“*”是AXA到A的二元运算,则称运算“*”对集合A是封闭的,或者称“*”是A上的二元运算设A是非空集合,*1,*2,…,*m分别是定义在A上的k1,k2,…,km元封闭运算,ki是正整数,i=1,2,…,m。集合A和*1,*2,…,*m所组成的系统称为代数系统,简称代数代数系统的基本运算规律 1.结合律 2.交换律 3.消去律 4.幂等律 5.分配律 6.吸收律代数系统的性质 幺原创 2017-10-24 22:05:04 · 2436 阅读 · 0 评论 -
数理逻辑模拟-1
求公式的主合取范式 先消去公式中的→与↔ 如果需要补基础元(P),可以使用∧(P∨¬P)或者∨(P∧¬P) 接着进行结合的调换,调成主合取范式 (主析取范式也是如此)已知主析取范式求主合取范式 将所有的主析取范式剩下的极小项转换成极大项 再用合取连接起来 这样就得到了主合取范式 (已知主合取范式求主析取范式的过程类似)证明过程题 US:全称特指 ES:存在特指 UG:全称推广原创 2017-11-04 14:46:49 · 411 阅读 · 0 评论