命题逻辑之条件语句(蕴含）
| p | q | p->q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
p->q的常用术语：
"如果q，则q" "p蕴含q"
"如果p, q" "q仅当p"
"p是q的充分条件" "q的充分条件是p"
"q如果p" "q每当p"
"q当p" "q是p的必要条件"
"p的必要条件是q" "q由p得出"
"q除非～p"。(~表示否定）
为了便于理解条件语句真值表，就像总统竞选时许诺言：“如果我当选了，我就会减税”
如果当选了，民众将期望他减税。---->只有在他当选了总统但是没有减税时，才算是违背了诺言。民众才会有受骗的感觉。
如果没有当选总统，那是否减税将取决于其他因素。
| p | q | p<->q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
双条件语句p<->q是命题 “p当且仅当q"。 也称双向蕴含。当 p 和 p 有同样的真值时，双向条件语句为真，否则 为假。
另一个表达方式：“ p 是 q 的充分必要条件“
如：”你可以搭乘该航班当且仅当你买飞机票了“ ----> "可以搭乘该航班“ 是 ”买了飞机票“ 的充要条件。
| 预算符 | 优先级 |
| ～ | 1 |
|
∧
|
2 |
| ∨ | 3 |
| -> | 4 |
| <-> | 5 |
其他命题：否命题、合取命题（取交）、析取命题（取或）、异或命题
参考书籍：《离散数学及其应用》 Rosen
命题逻辑之条件语句(蕴含）相关推荐
- Go 学习笔记（8）— 条件语句（if、if...else...、switch、fallthrough）
Go 语言提供了以下几种条件判断语句: 语句 描述 if 语句 if 语句 由一个布尔表达式后紧跟一个或多个语句组成 if-else 语句 if 语句 后可以使用可选的 else 语句, else 语 ...
- 用python循环语句求素数_Python基础入门_3条件语句和迭代循环
Python 基础入门前两篇: Python 基础入门--简介和环境配置 Python基础入门_2基础语法和变量类型 这是第三篇内容,主要简单介绍条件语句和迭代循环语句,内容也比较简单,目录如下: 条 ...
- python 条件选择语句_Python趣味入门4:选择往往是最重要的-条件语句
人生处处有选择,程序也有选择,为了让程序变得更加强壮,程序员必须考虑任何情况,上一篇了解到了如何使用Python来行顺序语句的编写,我们写了一个可以输入姓名的生日祝贺程序,今天我们挑战条件语句! 1. ...
- day1简述、输入输出、运算符、条件语句、文件读写、三元运算
文章目录 1.Python 简述 2.变量 3.输入输出 4.数据运算 5. 条件语句 if..else.elif 循环语句 for.while 6.文件读写 7.三元运算 1.Python 简述 ...
- R语言If、Else条件语句实战
R语言If.Else条件语句实战 目录 R语言If.Else条件语句实战 # if()函数和else() 函数 # ifelse函数
- 包教包会！7段代码带你玩转Python条件语句（附代码）
来源:大数据 本文约5200字,建议阅读10分钟. 本文介绍了Python条件语句常用的7段代码. [ 导 读 ]条件语句通过一个或多个布尔表达式的执行结果(真值或假值)决定下一步的执行方向.所谓布尔 ...
- Python进阶之路 3.4.2 条件语句(if、else和elif)
3.4.2 条件语句(if.else和elif) 对于计算机程序来说,要学会第一项技能就是"判断",也就是根据不同的条件,执行不同的程序分支,这样的程序才有意义. if语句的作用就 ...
- ASP条件语句之IF语句
条件语句之 if ... then ... else 语句 用来判断条件是 true 或 false ,并根据判断结果来执行指定的语句,通常条件是用比较运算符对值或变量进行比较来表达. if ... ...
- Ansible9：条件语句【转】
在有的时候play的结果依赖于变量.fact或者是前一个任务的执行结果,从而需要使用到条件语句. 一.when 有的时候在特定的主机需要跳过特定的步骤,例如在安装包的时候,需要指定主机的操作系 ...
最新文章
- Python Qt GUI设计：QScrollBar类实现窗口水平或垂直滑动条效果（拓展篇—4）
- flutter图片识别_Flutter 资源和图片
- 使用Varnish加速Web
- 云炬Android开发笔记 7登陆注册功能开发
- ffmpeg 0.8.11 VC编译的SDK已经发布
- 【Linux】一步一步学Linux——groupdel命令(88)
- ConnectionString Property - ADO
- [转]Eclipse+pydev 常用快捷键
- 7002.ubuntu18.04将软件图标固定到工具栏
- [C++] - 中的复制初始化(copy initialization)
- 【转载】C#中回滚TransactionScope的使用方法和原理
- Javashop 7.0 统一登录unionID问题修改
- halcon实现直方图匹配（直方图规定化）
- 网页监控之自己设计监控界面
- doc 和docx的区别
- pycharm中设置鼠标滚动放大和缩小页面
- 在你的网页集成QQ推广即时聊天
- pandas分组分析：GroupBy和pandas交叉分析：pivot_table/crosstab【学习记录】
- 京东到家开放平台消息系统-进阶之路
- 上传大文件超时upstream timed out ，nginx配置修改