离散数学及其应用第1章笔记总结

命题是逻辑的基本构件，是一个陈述语句，或真或假。
从两个或多个已知命题构造新命题的逻辑运算符称为联结词，在逻辑合取中，“但是”一词是等同于“并且”的。
合取是p、q为真命题为真，否则为假；析取是p、q为假命题为假，否则为真。
兼或包含两个命题都取的情况，异或则不包含。
条件语句p->q是命题“如果p，则q”，只有当p为真q为假时命题为假，其余为真。p->q也可以理解为“如果q，那么p"或者是"q除非非p"或者是"q每当p"。条件语句也称为蕴含。p仅当q与“如果p，则q”是同样的意思。
两个复合命题总是具有相同真值则这两个命题等价，一个条件语句与它的逆否命题等价。
！不能假设条件语句的逆或反等价于这个语句。
双条件语句p<->q是命题“p当且仅当q”，还有一些方式来表达p<->q，例如“p是q的充分必要条件”，“如果p那么q，反之亦然”。
！否定运算符优先级高于其他逻辑运算符，合取运算符先于析取运算符。
在Google以及其他搜索引擎中，NOT一词可以用符号-来代替。
真值永远是真的复合命题称为永真式或者式重言式，真值永远为假的复合命题称为矛盾式，既不是永真式又不是矛盾式的复合命题称为可能式。
全称量词对析取式是不可分配的，存在量词对合取式是不可分配的。分配类似于分配律。
谓词是句子中代表主语属性的那部分。
常用的证明法有直接证明法（证明当命题为真时结论必然为真）、反正法（证明结论为假时命题必定为假）、归谬证明法（假设命题和结论的反都为真来证明结论也一定为真导致矛盾）、穷举证明法、分情形证明法。

离散数学及其应用第1章笔记总结相关推荐

鸟哥linux私房菜第6章笔记
鸟哥linux私房菜第6章笔记文件权限修改 chgrp [-R] groupname filename //修改文件所属组chown [-R] ownername[:groupname] file ...
离散数学及其应用傅彦pdf_《离散数学及其应用》第一章计算机课题
C++实现: 1. #include <iostream>using std::cin; using std::cout; using std::boolalpha; using std: ...
《Spring Recipes》第二章笔记：Creating Beans by Invokin...
2019独角兽企业重金招聘Python工程师标准>>> <Spring Recipes>第二章笔记:Creating Beans by Invoking an Insta ...
机器学习实战基于_机器学习实战：基于Scikit-Learn和TensorFlow—第四章笔记
机器学习实战:基于Scikit-Learn和TensorFlow---第四章笔记一.学习目标之前用了那么多的机器学习的模型,但是它们各自的训练算法在很大程度上还是一个黑匣子,我们对对系统内部的实现 ...
离散数学及其应用傅彦pdf_《离散数学及其应用》第二章计算与探索
C++实现: 1. 由于只用实现两个有限集的笛卡尔积,应该就是回顾概念吧. #include <iostream> #include <map> #include <se ...
《Spring Recipes》第二章笔记：Customizing Bean Initiali...
2019独角兽企业重金招聘Python工程师标准>>> <Spring Recipes>第二章笔记:Customizing Bean Initialization and ...
计算机应用基础自学手写笔记,计算机应用基础第一章笔记.docx
计算机应用基础第一章笔记 1.计算机工具的变迁 2.计算机的发展过程 3.冯.诺依曼计算机的工作原理 4.计算机系统的硬件和软件组成 5.计算机的性能指标 6.影响计算机的性能因素 7.数据在计算机中 ...
哈工大计算机网络Mooc 第十一章笔记（局域网）
文章目录前引第十一章笔记 MAC地址 ARP地址解析协议以太网总概交换机网络设备对比(集线器交换机网桥路由器) IEEE 802.11无线局域网前引哈哈各位看官好很巧合每次编 ...
基本IO接口技术——微机第七章笔记
基本I/O接口技术--微机第七章笔记文章目录基本I/O接口技术--微机第七章笔记前言 MindMap 并行通信和串行通信通信基本方法并行通信优点串行通信特点并行接口概述硬件结构( ...
《Python深度学习》第一章笔记
<Python深度学习>第一章笔记 1.1人工智能.机器学习.深度学习人工智能机器学习深度学习深度学习的工作原理 1.2深度学习之前:机器学习简史概率建模早期神经网络核方法 ...

离散数学及其应用第1章笔记总结

离散数学及其应用第1章笔记总结相关推荐

最新文章

热门文章