离散数学及其应用--第一章-命题逻辑的基本概念
一、命题与联结词
1.什么是命题?
非真即假的陈述句称为命题。例如:3>2。
A. 先判断是否是陈述句。
B. 其次判断它是否有唯一的真值。
2.命题的值?
真或假。真值为真的命题称为真命题,真值为假的命题称为假命题。任何命题的真值都是唯一的。
3.简单命题或原子命题?
不能被分解成更简单的命题。在命题逻辑中,简单命题是最小的基本单位,对它不再细分。例如:3>2。
4.复合命题?
由简单命题通过联结词连结而成的命题。
5.悖论?
既不能真也不能假的陈述句称为悖论。悖论不是命题。
二难推理:课上举例:一个人说什么都能,问他能不能做一个自己搬不动的椅子。
法律逻辑:半费之讼:半费之讼:“如果我打赢官司,那么按法庭判决,被告应该付给我另一半学费;如果被告打赢了官司,那么按我们的合同,被告也应该付给我另一半学费。因而,不论这场官司是赢还是输,被告都应该付给我另一半学费。”
哥德尔的不完美系统:
罗素悖论:
理发师悖论:
二、复合命题
1.否定式,非(┐),否定联结词。非真为假,非假为真。
2.合取式,∧,合取联结词。必须两个都是真,结果才是真。有一个假,结果即为假。
3.析取式,∨,析取联结词。有一个真,结果就是真。
4.蕴含式,→,蕴含联结词。如p→q(等价于┐p∨q),p为条件,p为0时,q的结果与p无关,p为1时,q为1,p为假时,q为假。举例:p为天下雨,q为地面湿。P为0是,即天不下雨,地面可能湿可能干,所以q为1;天下雨时,地面湿为1,否则为假。
对应关系:
P |
q |
结果 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
5.等价式,↔,等价联结词。相当于同或。P、q值相等结果为1,否则为0。
Table 1 联结词的定义
p |
q |
┐p |
p∧q |
p∨q |
p→q |
p↔q |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
三、命题公式及其赋值
1.命题常项或命题常元?
简单命题。
2.命题变项或命题变元?
取值1或0的变元。
3.合式公式?
将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串。
也称为命题公式或公式。
4.赋值或解释?
对结果的赋值。例如p的赋值和q的赋值都是结果的赋值。其中是结果为1 的这组值为成真赋值,反之为成假赋值。
5.重言式或永真式?
若A在它的所有赋值下取值均为真。
6.矛盾式或永假式?
若A在它的所有赋值下取值均为假。
7.可满足式?
结果有真有假。
离散数学及其应用--第一章-命题逻辑的基本概念相关推荐
- 离散数学复习总结 第一章 命题逻辑的基本概念
命题逻辑的基本概念 申明:以下内容为 笔者根据已学内容自己进行的总结,仅供参考. 1.1命题与联结词 1.1.1命题部分 a命题定义:非真即假的陈述句. b命题的判断结果为真值 真值只有俩个:真或者假 ...
- 【离散数学】数理逻辑 第一章 命题逻辑(5) 对偶式、对偶原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 【离散数学】数理逻辑 第一章 命题逻辑(4) 联结词的完备集
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- 第一章 命题逻辑(数理逻辑)
文章目录 第一章 命题逻辑 1.1 命题与逻辑联结词 Propositional Logic 1.2 命题公式及其赋值 Application of Propositional Logic 1.3 命 ...
- 概率统计:第一章 概率论的基本概念
第一章 概率论的基本概念 内容提要: 一. 加法.乘法原理及排列.组合复习 1. 加法原理 设完成一件事有类方法(其中任一类方法都可达到 完成这件事的目的),若第1类方法有种,第2类方法有种, ...
- 概率论-第一章 概率论的基本概念
目录 概率论-第一章 概率论的基本概念 (1)随机试验 总结 (2)样本空间.随机试验 总结 (3)频率和概率 总结 (4)等可能概型(古典概型) 总结 (5)条件概率 总结 (6)独立性 总结 本章 ...
- 【数据结构总结】第一章:数据结构基本概念
[数据结构总结]第一章:数据结构基本概念 本文主要是以思维导图的形式概括数据结构第一章的精华内容,基本不会用到文字性的内容,目的是为了给大家梳理每个重要的知识点的相关概念,方便大家在复盘的时候快速阅读 ...
- 最优化课堂笔记01: 第一章 最优化的基本概念
第一章 最优化的基本概念 1.最优化求解的数学模型建立 2.例题(考试第一大题:数学模型建立) 解析:优化变量.目标函数(一般取最小化).约束条件 注意: 1)约束条件一般形式为:左边为含决策变量的 ...
最新文章
- 突发奇想写的一篇小科幻(如果可以叫做科幻的话)
- Linux2.6内核 -- 编码风格(3)
- tomcat需要设置环境变量吗
- SAP 业务常用表的收集
- nginx1.9基于端口的四层负载均衡实践,基于端口的转的负载均衡
- [导入]创建、查询、修改带名称空间的 XML 文件的例子
- Android 打造编译时注解解析框架
- 服务器powershell占用百分百,使用PowerShell统计服务器C盘空间
- 一个c3p0的数据库连接池的多线程测试
- Rust : 红楼梦一书中文字符的统计
- java applet init_java applet init start
- 【PotPlayer】敲好用的本地视频播放器
- DHCP Relay 配置教程
- 笔记本光驱位固态硬盘安装及系统迁移
- scheme语言编写执行
- Python math.comb() 方法
- 【计算机网络】1、为什么要学习计算机网络基础
- 【设计模式系列】--单例模式
- java 头像 微信群_Android仿微信群聊头像
- notepad++查看二进制.class文件——HexEditor插件(64/32位)安装教程