离散数学命题逻辑连接词的解释
命题逻辑连接词
在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。
(1)否定
定义1-2.1设p为一命题，p的否定是一个新的命题，记作┓p.若p为t, ┓p为f;若p为f,┓p为t.联结词＂┓＂表示命题的否定.否定联结词有时亦可记作＂－＂.
命题p与其否定┓p的关系如表1-2.1所示.
表1-2.1
例 用p表示命题“3是素数”
则┓p即为命题“3不是素数”
“否定”的意义仅是修改了命题的内容,我们仍把它看作为联结词,它是一个一元运算.
(2)合取
定义1-2.2 两个命题p和q的合取是一个复合命题,记作p∧q.，读作“p与q”或“p与q的合取”。当且仅当p、q同时为t时, p∧q为t,在其他情况下, p∧q的真值都是f.。
联结词＂∧＂的定义如表1-2.2所示.
表1-2.2
合取连接词的含义相当于自然语言中的“p和q”，“p与q”，“p且q，“p，同时q”等。
命题联结词“合取”也可以将若干个命题联结在一起.
例
p表示命题“3是素数”
离散数学命题逻辑连接词的解释相关推荐
- [离散数学]命题逻辑P_5：命题公式分类和等价
[离散数学]命题逻辑P_5:命题公式分类和等价 前言 1. 真值表告诉我们什么? 例子 2. 命题公式分类 定义 例子 3. 公式的逻辑等价 定义 定理 证明 总结 前言 第五讲:命题公式分类和等价 ...
- [离散数学]命题逻辑P_3：命题符号化及其应用
[离散数学]命题逻辑P_3:命题符号化及其应用 前言 1. 命题联结词的总结 命题联结词 命题联结词的真值表 例子 2. 命题联结词的优先级 优先级顺序 例子 3. 复合命题符号化 例子 4. 联结词 ...
- 技能分享 | 麦肯锡教给我的写作武器：连接词是文章通顺的灵魂
上一篇文章中,分享了<麦肯锡教给我的写作武器>中提及的一个表达技巧,即主语谓语清晰.这个技巧是应用于单个句子.接下来这篇心得分享,涉及句子与句子之间,也就是如何讲好一段话. 本文作者two ...
- [离散数学]命题逻辑P_7：范式
[离散数学]命题逻辑P_7:范式 前言 1. 范式定义 基本术语 范式定义 例子 2. 范式求解 范式存在定理 证明 例子 范式与真值 总结 前言 第七讲:范式 数理逻辑,就是用数学的方法研究逻辑推理 ...
- [离散数学]命题逻辑P_6：命题等价公式及应用
[离散数学]命题逻辑P_6:命题等价公式及应用 前言 1. 基本等价关系 定理 2. 判断公式类型 例1:证明公式类型 例2:证明复杂公式间的等价关系 3. 开关电路化简 4. 逻辑电路化简 5. 智 ...
- 河南专升本公共英语语法考点分析---代词、介词、连接词
语法考点分析---代词.介词.连接词 一.代词 代词用法注意点 代词考点分析 二.介词 相近介词(短语)辨析 介词考点分析 三.连词 使用连词注意点 连词考点分析 一.代词 代词用法注意点 名词性所有 ...
- [离散数学]命题逻辑P_4：命题公式和真值表
[离散数学]命题逻辑P_4:命题公式和真值表 前言 1. 命题变元 常值命题定义 例子 命题变量定义 注意 2. 命题公式 定义 关于命题公式的说明 例子 3. 公式的解释 定义 例子 注意 4. 真 ...
- JAVA程序设计：连接词（LeetCode：472）
给定一个不含重复单词的列表,编写一个程序,返回给定单词列表中所有的连接词. 连接词的定义为:一个字符串完全是由至少两个给定数组中的单词组成的. 示例: 输入: ["cat",&qu ...
- 英语连接词~很全的版本！！！
[转]http://blog.sina.com.cn/s/blog_6f1739220101dt7d.html 连接词的意义分类 表递进moreover, in addition, what is m ...
最新文章
- USB 3G驱动和USB HOST驱动加载
- httpd tomcat mysql_Linux系统环境下Tomcat8、httpd、mysql8开机自启动配置
- DCMTK：读取DICOM图像并创建匹配的演示状态
- java闪屏怎么制作,Java Swing创建自定义闪屏:在闪屏下画进度条(一)
- node JS 微信开发
- delphi使用 第三方控件
- 回环设备（loop-back devices）
- Android把数组从大到小排列,Android SparseArray 排序
- STL map与Boost unordered_map - 有何不可的日志 - 网易博客
- 导盲机器人 英语作文_小米有品推学习平板：小爱AI陪娃学英语，一台陪娃十年成长...
- Scrapy爬虫进阶操作之CrawlSpider（一）
- DSP28335学习记录（二）——外部中断和定时器中断
- python中pygame学习——碰碰球（简单版）
- XXXXRockey4ND加密狗复制
- 现在进行时和一般现在时的区分_38
- 企业如何软件商业化？ .
- 如何把一张照片的像素提高_简单操作，让一张模糊的照片秒变清晰
- Leetcode（934）——最短的桥
- 2021-11-24【数据结构练习题】【二叉搜索树的插入删除】
- HTK中Vocab字典的结构