《离散数学》课程教学课件(PPT讲稿)01 命题逻辑的基本概念

命题逻辑基本概念

命题逻辑基本概念主要内容命题与联结词命题及其分类联结词与复合命题3

命题与联结词命题与真值命题:判断结果惟一的陈述台命题的真值:判断的结果:是命题的固有属性真值的取值:非真即假注意感叹句、祈使句、疑问句都不是命题陈述句中的论,判断结果不惟一确定的不是命题“真值为真”或“真值为假”,没有“假值”的说法

命题的概念下列句子中哪些是命题?1.3能被2整除2.2+5=7.3. x+5>34.你去教室吗?5.这只免子跑得真快呀6.把门关上7.2050年元旦下大雪5

命题的概念下列句子中哪些是命题?假命题1. 3 能被 2 整除真命题2.2+5=7.不是命题3. X+5 >3.不是命题4.,你去教室吗?5.这只免子跑得真快呀!不是命题6.把门关上不是命题7.2050年元日下大雪命题,真假未知5

命题的概念下列句子中哪些是命题?1.8+V22.1+1=103.这个语句是假的6

命题的概念下列句子中哪些是命题?1. 8+V2不是命题2.1+1=10命题,真假与进制有关3.这个语句是假的论,无法判断真假,不是命题6

命题分类命题分类:简单命题(也称原子命题)与复合命题简单命题符号化用小写英文字母p,9,r,"pi,qir(i≥1)表示简单命题(命题标识符)用“1”表示真,用“0”表示假实例令p:v2是有理数,则p的真值为0令g:2+5=7,则p的真值为1

否定联结词定义1.1设p为命题,复合命题“非p”(或“p的否定”)称为p的否定式,记作一P,一符号称作否定联结词,规定一P为真当且仅当P为假例如,设p:四川是人口最多的省命题“四川不是人口最多的省”可表示为一P思考p:天鹅都是白的,P是?“天鹅不都是白的”,“并非所有天鹅都是白的”8

合取联结词定义1.2设p,9为两个命题,复合命题“p并且9”(或“p与9”)称为p与g的合取式,记作pΛ,称作合取联结词.规定p人q为真当且仅当p与q同时为真9
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第五章 相似矩阵及二次型.pdf
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第四章 向量组的线性相关性.pdf
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第三章 矩阵的初等变换与线性方程组.pdf
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第二章 矩阵及其运算.pdf
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第一章 行列式(Determinant).pdf
- 重庆医科大学:《线性代数》课程教学课件(讲稿)第一章 行列式 Determinant.pdf
- 济南大学:研究生院《数学》专业课程教学大纲汇编.pdf
- 淮安大学(淮阴工学院):金融数学专业课程教学大纲汇编(共27门).pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第九章 欧几里得空间.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第八章 若尔当标准形(λ-矩阵).pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第七章 线性变换.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第六章 线性空间.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第五章 二次型.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第四章 矩阵.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第三章 线性方程组.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第二章 行列式.pdf
- 陕西师范大学:《高等代数》课程教学课件(讲稿)第一章 多项式.pdf
- 陕西师范大学:《高等代数》课程教学大纲.pdf
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第八章 一些特殊的图.pptx
- 天津理工大学:《离散数学》课程教学资源(PPT课件)第四章 二元关系与函数 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包.pptx
- 《离散数学》课程教学课件(PPT讲稿)02a 命题逻辑等值演算.pptx
- 《离散数学》课程教学课件(PPT讲稿)02b 析取范式和合取范式.pptx
- 《离散数学》课程教学课件(PPT讲稿)03 命题逻辑的推理理论.pptx
- 《离散数学》课程教学课件(PPT讲稿)04 一阶逻辑.pptx
- 《离散数学》课程教学课件(PPT讲稿)6a 集合的基本概念与运算.pptx
- 《离散数学》课程教学课件(PPT讲稿)6b 集合等式.pptx
- 《离散数学》课程教学课件(PPT讲稿)7a 二元关系.pptx
- 《离散数学》课程教学课件(PPT讲稿)7b 二元关系的性质.pptx
- 《离散数学》课程教学课件(PPT讲稿)11 几种特殊的图.pptx
- 《离散数学》课程教学课件(PPT讲稿)12 基本组合计数.pptx
- 《离散数学》课程教学课件(PPT讲稿)10 树.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第一章 绪论 1.2 基本概念和常微分方程的发展历史(常微分方程的基本概念).pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第一章 绪论 1.1 常微分方程模型.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第二章 一阶微分方程的初等解法 2.1 变量分离方程与变量变换.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第二章 一阶微分方程的初等解法 2.2 线性方程与常数变易法.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第二章 一阶微分方程的初等解法 2.3 恰当方程与积分因子.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第三章 一阶微分方程的解的存在定理 3.4 奇解.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第三章 一阶微分方程的解的存在定理 3.1 解的存在唯一性定理与逐步逼近法.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第三章 一阶微分方程的解的存在定理 3.2 解的延拓.pptx
- 广东第二师范学院:《常微分方程》课程教学资源(PPT课件)第三章 一阶微分方程的解的存在定理 3.3 解对初值的连续性和可微性定理.pptx
