离散数学-存在量词 为啥必须使用合取式函数?

2024-01-12 10:59

本文主要是介绍离散数学-存在量词 为啥必须使用合取式函数?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1.存在量词:

代表在个体域讨论范围中---》存在一部分 一些指定的个体或者抽象的客体;

2.那么我们开始正式环节;

-》有些人是男同学 --》咱们使用存在量词+合取范式进行得到命题函数   -》

》存在一个变元 "X"  个体变元 -- 并且变元x 

》1.拆分:原有命题得到 x是人  x是男同学 。我们使用 存在量词  合取式得到的命题为 

  存在有些x  x是人 并且x也是男同学。真命题时 当且仅当 存在有些男同学 没有什么问题 。    

2.如果我们使用 全称量词一样 中间使用 条件 命题连接词;

当然都是格式都是合式公式;那么含义为 存在有些x 如果x是人 则x是男同学;命题为真时

当且仅当x是男同学 或者 x是人且x是男同学 或者 x不是人且x也不是男同学;命题函数含义完全不一致;命题的成真 也不一致。

所以在使用存在量词 我们使用 合取连接式 进行表达命题函数。

看到这里解释完毕 为啥使用 合取 表达存在量词的命题函数。                        ---------------------------

那么咱们看看全称量词 如果 合取来表达

》1.人都会死

个体变元 x ;拆分:x是人  ,x会死  两个量词;

对于所有/任意/凡是/变元x x是人则x会死  条件 连接词 没有问题。为真 当且仅当 x会死 同或 x是人且x会死 同或 x不是人 且 x不会死;真值含义.

全称量词含义为:存在任何以x为人的个体变元 则x都会死;

“人都会死”是用全称量词+条件式写出来的, 即“对于任意对象x, 如果x是人, 那么x会死”, 这句话为真当且仅当所以为人的对象x都会死.

合取表示:任何x的个体变元 x是人且x会死  没有指定x的条件 x代表包括人的所有对象。x是人且x(所有对象)会死。

写的有不好的地方 您多多指点~~ 感谢 ~ 下面放着大佬的文章 详细查收 

有兴趣 可以关注点赞 冲冲冲~

存在量词后必须用合取式?-数学_存在即合取-CSDN博客语法上没有错误, 都是well-formed formula, 但是语义上与一般用自然语言表达出来的语义不符. 例:“有一个男学生”是用存在量词+合取式写出来的, 即“存在一个对象x, x是男的且x是学生”. 这句话为真当且仅当存在一个男学生如果我们用存在量词+条件式写出来, 则是“存在一个对象x, 如果x是男的则x是学生”. 注意这段话为真, 当且仅当x不是男的或者x是学生. 同样, “人都会死..._存在即合取https://blog.csdn.net/kyle1314608/article/details/105735189

这篇关于离散数学-存在量词 为啥必须使用合取式函数?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/597653

相关文章

如何使用 Python 读取 Excel 数据

《如何使用Python读取Excel数据》:本文主要介绍使用Python读取Excel数据的详细教程,通过pandas和openpyxl,你可以轻松读取Excel文件,并进行各种数据处理操... 目录使用 python 读取 Excel 数据的详细教程1. 安装必要的依赖2. 读取 Excel 文件3. 读

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,:本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指

解决Maven项目idea找不到本地仓库jar包问题以及使用mvn install:install-file

《解决Maven项目idea找不到本地仓库jar包问题以及使用mvninstall:install-file》:本文主要介绍解决Maven项目idea找不到本地仓库jar包问题以及使用mvnin... 目录Maven项目idea找不到本地仓库jar包以及使用mvn install:install-file基

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

Python使用getopt处理命令行参数示例解析(最佳实践)

《Python使用getopt处理命令行参数示例解析(最佳实践)》getopt模块是Python标准库中一个简单但强大的命令行参数处理工具,它特别适合那些需要快速实现基本命令行参数解析的场景,或者需要... 目录为什么需要处理命令行参数?getopt模块基础实际应用示例与其他参数处理方式的比较常见问http

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

使用Python从PPT文档中提取图片和图片信息(如坐标、宽度和高度等)

《使用Python从PPT文档中提取图片和图片信息(如坐标、宽度和高度等)》PPT是一种高效的信息展示工具,广泛应用于教育、商务和设计等多个领域,PPT文档中常常包含丰富的图片内容,这些图片不仅提升了... 目录一、引言二、环境与工具三、python 提取PPT背景图片3.1 提取幻灯片背景图片3.2 提取

使用Python实现图像LBP特征提取的操作方法

《使用Python实现图像LBP特征提取的操作方法》LBP特征叫做局部二值模式,常用于纹理特征提取,并在纹理分类中具有较强的区分能力,本文给大家介绍了如何使用Python实现图像LBP特征提取的操作方... 目录一、LBP特征介绍二、LBP特征描述三、一些改进版本的LBP1.圆形LBP算子2.旋转不变的LB

Maven的使用和配置国内源的保姆级教程

《Maven的使用和配置国内源的保姆级教程》Maven是⼀个项目管理工具,基于POM(ProjectObjectModel,项目对象模型)的概念,Maven可以通过一小段描述信息来管理项目的构建,报告... 目录1. 什么是Maven?2.创建⼀个Maven项目3.Maven 核心功能4.使用Maven H

Python中__init__方法使用的深度解析

《Python中__init__方法使用的深度解析》在Python的面向对象编程(OOP)体系中,__init__方法如同建造房屋时的奠基仪式——它定义了对象诞生时的初始状态,下面我们就来深入了解下_... 目录一、__init__的基因图谱二、初始化过程的魔法时刻继承链中的初始化顺序self参数的奥秘默认