1.1.1 命题

1.命题：是一个能判断真假的陈述语句。

注：必须是陈述语句，感叹、疑问、祈使等都不行

2.命题变量（语句变量）：表示命题的变量。
（类似于用字母表示数值变量。）

3.真值：命题的值。
（真命题的真值为真，用T表示；假命题的真值为假，用F表示。）

4.原子命题：不能用简单的命题表示的命题。
（结构上不能再分解出其他命题的命题．又称简单命题。原子命题不能带有非，或，且，如果，那么等联结词。）

1.1.2 逻辑运算符

定义1：否定联结词

p是命题，p的否定：┐p，读作：“非p”。

定义2：合取联结词

令p和q为命题，p、q的合取即“ p并且q ”，记作p∧q。
（逻辑乘）

离散数学笔记_第一章：逻辑和证明（1）相关推荐

离散数学笔记_第一章：逻辑和证明（2 ）
1.2 命题逻辑的应用 1.2.1 语句翻译 1.2.2 系统规范说明 1.2.3 布尔搜索 1.2.4 逻辑谜题泥巴孩子谜题骑士和流氓 (考研逻辑题) 1.2.5 逻辑电路 1.2.1 语句翻译
马丁福勒《UML精粹》读书笔记_第一章
马丁福勒<UML精粹>读书笔记_第一章 UML的使用场景必须遵从UML规则吗? 在上述草图.蓝图的场景下,不必过多强调遵从UML规则.因为我们使用UML的目的是为了一个好的设计,所以应将 ...
自控力_书籍分享_读书笔记_第一章我要做，我不要，我想要：什么是意志力？为什么意志力至关重要？_0001
第一章我要做,我不要,我想要:什么是意志力?为什么意志力至关重要? 意志力到底是什么?意志力无非就是以下三种力量的综合能力,如果能够驾驭着三种力量,那么你就能够通过意志力成就更好的自己.从另一个方面 ...
笔青居_Autojs学习笔记_第一章
本笔记纯属四不像程序猿亲手制作,以便日后查阅,不喜勿喷!!! 再次感谢原作者笔青居的视频教程!!! 目录一. Auto.js功能及使用二. 环境简单搭建三. 简单程序编写四. Js(JavaS ...
《Head First设计模式》读书笔记_第一章
策略模式例:设计一个模拟鸭子游戏,游戏中有各种鸭子,一边戏水一边嘎嘎叫. 所以学习设计模式前,我们最先想到的就是设置一个超类,并让其他子类去继承这个类,UML图如下: * * 但是,程序需求是会经常 ...
读书笔记|《金字塔原理》_第一章
读书笔记|<金字塔原理>_第一章 [章节]--第一章为什么要用金字塔结构 [讲了什么] 1.首先是为什么要用金字塔结构? 2.如何将思想组织成金字塔结构? 2.1 归类分组,将思想组织成金 ...
【笔记】Cocos2d-x高级开发教程：制作自己的捕鱼达人笔记一：序_前言_第一章
[笔记]Cocos2d-x高级开发教程:制作自己的<捕鱼达人> 笔记一:序_前言_第一章转载请注明出处:http://blog.csdn.net/l_badluck/article/de ...
关于高性能mysql的读书报告_《高性能MySQL》读书笔记：第一章[MySQL架构与历史]...
<高性能MySQL>读书笔记:第一章[MySQL架构与历史] MySQL逻辑架构 MySQL最优秀的一点就是它的存储架构,将查询处理,系统任务,数据存储/提取相分离并发控制通过读写锁实 ...
【离散数学】数理逻辑第一章命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...

离散数学笔记_第一章：逻辑和证明（1）

1.1命题逻辑

1.1.1 命题

1.1.2 逻辑运算符

定义1：否定联结词

定义2：合取联结词

离散数学笔记_第一章：逻辑和证明（1）相关推荐

最新文章

热门文章

离散数学笔记_第一章：逻辑和证明（1）

1.1命题逻辑

1.1.1 命题

1.1.2 逻辑运算符

定义1： 否定联结词

定义2： 合取联结词

离散数学笔记_第一章：逻辑和证明（1）相关推荐

最新文章

热门文章

定义1：否定联结词

定义2：合取联结词