离散数学1-数理逻辑的基本概念_…;∧-程序员宅基地

形式化的第一步：抽象(abstraction)：
仅关注命题的本质属性：真值，而抛弃其丰富的内涵；
仅关注逻辑联结词的本质属性：对真值的运算，而抛弃多变的语言表达方式。
然后是将这两者都变成符号，以规则相连接。
真命题用t表示，假命题用f表示。
原子命题一般用p, q, r, s或pi, qi, ri, si表示。
逻辑联结词用特殊符号来表示：并非(not)：¬ ；并且(and)：∧；或(or)：∨ ；如果……那么……(if ... then ...)：→ ；当且仅当(if and only if)：

2、联结词

（1）否定词(negation)“并非”(not)：¬

¬p的逻辑关系为p不成立

注意在包含多个对象判断的命题否定时，其意义的变化：

如： “天鹅都是白的”，其否定并不是“天鹅都不是白的” ，而是“天鹅不都是白的”或“ 并非所有天鹅都是白的”。

（2）合取词(conjunction)“并且”(and)： ∧

p∧q的逻辑关系为：p和q同时成立

（3）析取词（disjunction）”或”（or）：∨

p∨q的逻辑关系为p和q中至少一个成立

自然语言中的“或”可以符号化为∨，但有时要注意原命题中的“或”可能表示排斥性选择：

例如：

李四学过德语或法语（相容或）：p∨q

p: 李四学过德语， q: 李四学过法语

张三生于1972年或1973年（排斥或）： p∨q

p: 张三生于 1972 年， q: 张三生于 1973 年

（4）蕴涵词（implication）”如果…那么…”（if…then…）： →

p → q的逻辑关系是，p是q的 充分条 件 ，或者说q是p的 必要条件

p→q中的p称作蕴涵前件，q称作蕴涵后件，自然语言中的许多条件连接词都可以符号化为→，但是要注意条件的顺序，如： “只要 … 就 …” ， “ 如果 … 那么 …” ， “ 只有 … 才 …” ，自然语言中，条件语句一般都具有内在的联系，而数理逻辑中的蕴涵则仅是命题的一种连接，不一定具有什么内在联系。

例如：

只要 2是偶数，雪就是黑的： p→q

p: 2 是偶数， q: 雪是黑的

p 为真， q 为假，本命题为假

（5）双向蕴含词（two-way implication）”当且仅当”（if and only if）：

p q的逻辑关系是p与q 互为充分必 要条件 ，在p，q真值相同的情况下， p q为真

例如：

圆1和圆2面积相等当且仅当它们的半径相等： p q

p: 圆 1 和圆 2 面积相等， q: 圆 1 和圆 2 半径相等

不管 p 和 q 的真值如何， p q 为真

三、命题公式

命题公式(proposition formula)的组成成分

命题常元（proposition constants）：表示具体命题及表示常命题的p, q, r, s等和t,f
命题变元（proposition variables）：以“真，假”或者“1，0”为取值范围的变量，仍用p, q, r, s等表示

命题公式（proposition formula）：由命题常元、变元和联结词组成的形式更为复杂的命题

命题公式（ proposition formula ）定义

① 命题常元和命题变元是命题公式，特别的称作原子公式或原子

② 如果A,B 是命题公式，那么(¬A), (A∧B), (A∨B), (A→B), (A B)也是命题公式

③ 只有有限步引用上述两条所组成的符号串是命题公式

根据定义： (¬(p→(q∧r))) 是命题公式

以下式子都不是命题公式

(qp) ——> 没有联结词

(p1∧(p2∧… ——> 不是有限步

1、逻辑联结词优先级

联结词{¬,∧,∨,→, }中， ¬是一元联结词，其它都是连接两个命题的二元联结词

我们定义优先级为：¬, [∧∨], →, 除非有括号，否则按照优先级从高到低，从 左到右的次序结合

如：

¬p∨q 等同于 ((¬p)∨q)

p→q∧r→s 并不是 ((p→q)∧(r→s)) ，其实是 ((p→(q∧r))→s)

2、真值函数

如果将联结词看作逻辑运算符，那么包含命题变元p1, p2, …pn的公式A 可以看作是关于p1, p2, …pn的一个真值函数，每个变元的取值范围是 {0, 1} ，真值函数值的取值范围也是 {0, 1}。

对任意给定的p1, p2, …pn的一种取值状况组合，称为指派或者赋值（assignments），赋值用希腊字母 α , β 等表示，对于每个赋值，公式A均有一个确定的真值。这样，命题公式在形式上是一个规则的字符串，内容上则对应一个真值函数。

对于所有可能的赋值，公式A的真值可以用真值表来确定。当A(p1, p2, …pn)中包含有k个联结词时，公式A的真值表应为 2 n 行、 k+n 列，前 n 列是所有变元的取值组合，最后 1 列是公式A的真值。

当公式A对赋值α为真时，称α是A的成真赋值，或者α 弄真 A，记做 α(A)=1。反之，称α是A的成假赋值，或者α 弄假 A，记做 α(A)=0。

本文链接：https://blog.csdn.net/swadian2008/article/details/110206132

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

分布式光纤传感器的全球与中国市场2022-2028年：技术、参与者、趋势、市场规模及占有率研究报告_预计2026年中国分布式传感器市场规模有多大-程序员宅基地

文章浏览阅读3.2k次。本文研究全球与中国市场分布式光纤传感器的发展现状及未来发展趋势，分别从生产和消费的角度分析分布式光纤传感器的主要生产地区、主要消费地区以及主要的生产商。重点分析全球与中国市场的主要厂商产品特点、产品规格、不同规格产品的价格、产量、产值及全球和中国市场主要生产商的市场份额。主要生产商包括：FISO TechnologiesBrugg KabelSensor HighwayOmnisensAFL GlobalQinetiQ GroupLockheed MartinOSENSA Innovati_预计2026年中国分布式传感器市场规模有多大

07_08 常用组合逻辑电路结构——为IC设计的延时估计铺垫_基4布斯算法代码-程序员宅基地

文章浏览阅读1.1k次，点赞2次，收藏12次。常用组合逻辑电路结构——为IC设计的延时估计铺垫学习目的：估计模块间的delay，确保写的代码的timing 综合能给到多少HZ，以满足需求！_基4布斯算法代码

OpenAI Manager助手（基于SpringBoot和Vue）_chatgpt网页版-程序员宅基地

文章浏览阅读3.3k次，点赞3次，收藏5次。OpenAI Manager助手（基于SpringBoot和Vue）_chatgpt网页版

关于美国计算机奥赛USACO，你想知道的都在这_usaco可以多次提交吗-程序员宅基地

文章浏览阅读2.2k次。USACO自1992年举办，到目前为止已经举办了27届，目的是为了帮助美国信息学国家队选拔IOI的队员，目前逐渐发展为全球热门的线上赛事，成为美国大学申请条件下，含金量相当高的官方竞赛。USACO的比赛成绩可以助力计算机专业留学，越来越多的学生进入了康奈尔，麻省理工，普林斯顿，哈佛和耶鲁等大学，这些同学的共同点是他们都参加了美国计算机科学竞赛（USACO)，并且取得过非常好的成绩。适合参赛人群USACO适合国内在读学生有意向申请美国大学的或者想锻炼自己编程能力的同学，高三学生也可以参加12月的第_usaco可以多次提交吗

MySQL存储过程和自定义函数_mysql自定义函数和存储过程-程序员宅基地

文章浏览阅读394次。1.1 存储程序1.2 创建存储过程1.3 创建自定义函数1.3.1 示例1.4 自定义函数和存储过程的区别1.5 变量的使用1.6 定义条件和处理程序1.6.1 定义条件1.6.1.1 示例1.6.2 定义处理程序1.6.2.1 示例1.7 光标的使用1.7.1 声明光标1.7.2 打开光标1.7.3 使用光标1.7.4 关闭光标1.8 流程控制的使用1.8.1 IF语句1.8.2 CASE语句1.8.3 LOOP语句1.8.4 LEAVE语句1.8.5 ITERATE语句1.8.6 REPEAT语句。_mysql自定义函数和存储过程

半导体基础知识与PN结_本征半导体电流为0-程序员宅基地

文章浏览阅读188次。半导体二极管——集成电路最小组成单元。_本征半导体电流为0

随便推点

【Unity3d Shader】水面和岩浆效果_unity 岩浆shader-程序员宅基地

文章浏览阅读2.8k次，点赞3次，收藏18次。游戏水面特效实现方式太多。咱们这边介绍的是一最简单的UV动画（无顶点位移），整个mesh由4个顶点构成。实现了水面效果（左图），不动代码稍微修改下参数和贴图可以实现岩浆效果（右图）。有要思路是1，uv按时间去做正弦波移动2，在1的基础上加个凹凸图混合uv3，在1、2的基础上加个水流方向4，加上对雾效的支持，如没必要请自行删除雾效代码(把包含fog的几行代码删除)S..._unity 岩浆shader

广义线性模型——Logistic回归模型（1）_广义线性回归模型-程序员宅基地

文章浏览阅读5k次。广义线性模型是线性模型的扩展，它通过连接函数建立响应变量的数学期望值与线性组合的预测变量之间的关系。广义线性模型拟合的形式为：其中g(μY)是条件均值的函数（称为连接函数）。另外，你可放松Y为正态分布的假设，改为Y 服从指数分布族中的一种分布即可。设定好连接函数和概率分布后，便可以通过最大似然估计的多次迭代推导出各参数值。在大部分情况下，线性模型就可以通过一系列连续型或类别型预测变量来预测正态分布的响应变量的工作。但是，有时候我们要进行非正态因变量的分析，例如：（1）类别型.._广义线性回归模型

HTML+CSS大作业环境网页设计与实现(垃圾分类) web前端开发技术 web课程设计网页规划与设计_垃圾分类网页设计目标怎么写-程序员宅基地

文章浏览阅读69次。环境保护、保护地球、校园环保、垃圾分类、绿色家园、等网站的设计与制作。总结了一些学生网页制作的经验：一般的网页需要融入以下知识点：div+css布局、浮动、定位、高级css、表格、表单及验证、js轮播图、音频视频 Flash的应用、ul li、下拉导航栏、鼠标划过效果等知识点，网页的风格主题也很全面：如爱好、风景、校园、美食、动漫、游戏、咖啡、音乐、家乡、电影、名人、商城以及个人主页等主题，学生、新手可参考下方页面的布局和设计和HTML源码（有用点赞△）一套A+的网_垃圾分类网页设计目标怎么写

C# .Net 发布后,把dll全部放在一个文件夹中,让软件目录更整洁_.net dll 全局目录-程序员宅基地

文章浏览阅读614次，点赞7次，收藏11次。之前找到一个修改 exe 中 DLL地址的方法, 不太好使,虽然能正确启动, 但无法改变 exe 的工作目录,这就影响了.Net 中很多获取 exe 执行目录来拼接的地址 ( 相对路径 ),比如 wwwroot 和代码中相对目录还有一些复制到目录的普通文件等等,它们的地址都会指向原来 exe 的目录, 而不是自定义的 “lib” 目录,根本原因就是没有修改 exe 的工作目录这次来搞一个启动程序,把 .net 的所有东西都放在一个文件夹,在文件夹同级的目录制作一个 exe._.net dll 全局目录

BRIEF特征点描述算法_breif description calculation 特征点-程序员宅基地

文章浏览阅读1.5k次。本文为转载，原博客地址：http://blog.csdn.net/hujingshuang/article/details/46910259简介 BRIEF是2010年的一篇名为《BRIEF:Binary Robust Independent Elementary Features》的文章中提出，BRIEF是对已检测到的特征点进行描述，它是一种二进制编码的描述子，摈弃了利用区域灰度..._breif description calculation 特征点

房屋租赁管理系统的设计和实现，SpringBoot计算机毕业设计论文_基于spring boot的房屋租赁系统论文-程序员宅基地

文章浏览阅读4.1k次，点赞21次，收藏79次。本文是《基于SpringBoot的房屋租赁管理系统》的配套原创说明文档，可以给应届毕业生提供格式撰写参考，也可以给开发类似系统的朋友们提供功能业务设计思路。_基于spring boot的房屋租赁系统论文