离散数学20_第1章_等价符号⇔的定义

一定义：

给定两个命题公式A和B, 设P₁，P₂，... Pn为所有出现于 A 和 B中的原子变元，若给 P₁，P₂，... Pn任一组真值指派， A 和 B的真值都相同，称A和B是等值或等价的。记为 A ⇔ B。

若至少存在一组真值指派，使得 A 和 B的真值不相同，称 A 和 B 不等值或不等价，记为 A <≠> B。

注： ⇔ 和 <≠>都不是联结词，只是用来说明A与B是否等值的一种记法。

联结词是指这5个：￢ ∧ ∨ → ↔

二. 由等价的定义可知：￢P∨Q ⇔ P→Q , 注意仔细体会含义：非P或者Q 等价于如果P那么Q,

（P∧Q) ∨ (￢P∧￢Q)⇔ P↔Q

本文字数虽少，文章虽短，但须仔细、认真体会。

离散数学20_第1章_等价符号⇔的定义相关推荐

离散数学1_第1章_复合命题与联结词
由原子命题通过联结词联结而成的命题, 称为复合命题联结词都具有特定的符号数理逻辑中常用的联结词共有5个: 1. 否定定义: 设P为命题,P的否定是一个复合命题,记作 ┓P, 符号 ┓ ...
【离散数学】数理逻辑第一章命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
第01章_数据库概述
第01章_数据库概述 1. 为什么要使用数据库持久化(persistence):把数据保存到可掉电式存储设备中以供之后使用.大多数情况下,特别是企业级应用,数据持久化意味着将内存中的数据保存到硬盘上 ...
谭浩强c语言第六章兔子数列,谭浩强 C语言第6章_循环.ppt
谭浩强 C语言第6章_循环第六章本章要点循环的基本概念不同形式的循环控制多重循环问题主要内容 6.1 概述 6.2 goto语句以及用goto语句构成循环 6.3 用while语句实现循 ...
c语言是非结构化程序设计语言,第章_结构化程序设计基础和C语言的控制结构(fb).ppt...
第章_结构化程序设计基础和C语言的控制结构(fb).ppt 2.4.2 continue语句例2-24 编程序实现功能:检测从键盘上输入的以换行符结束的字符流,统计非字母字符的个数. 分析:通过循环 ...
matlab图形绘制经典案例,MATLAB经典教程第四章_图形绘制.ppt
<MATLAB经典教程第四章_图形绘制.ppt>由会员分享,可在线阅读,更多相关<MATLAB经典教程第四章_图形绘制.ppt(32页珍藏版)>请在人人文库网上搜索. 1.Ma ...
MySQL---第07章_单行函数
第07章_单行函数讲师:尚硅谷-宋红康(江湖人称:康师傅) 官网:http://www.atguigu.com 1.显示系统时间(注:日期+时间) SELECT now() FROM DUAL; 2 ...
关于c语言的基本知识,第二章_关于C语言的基本知识.ppt
第二章_关于C语言的基本知识.ppt 函数函数说明例2.3 分析下面的运行结果. main() { printf("\"123\"\\\"456\" ...
将数学模型用matlab,matlab课件第3章_控制系统的数学模型及其转换.ppt
matlab课件第3章_控制系统的数学模型及其转换 3.1.1 传递函数传递函数输入举例 3.1.2 零极点增益形式 3)零极点增益模型: 3.1.3 部分分式形式 2.1.4 状态空间表达式 3. ...

离散数学20_第1章_等价符号⇔的定义

离散数学20_第1章_等价符号⇔的定义相关推荐

最新文章

热门文章