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

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

相关文章

Pandas使用SQLite3实战

《Pandas使用SQLite3实战》本文主要介绍了Pandas使用SQLite3实战,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学... 目录1 环境准备2 从 SQLite3VlfrWQzgt 读取数据到 DataFrame基础用法:读

JSON Web Token在登陆中的使用过程

《JSONWebToken在登陆中的使用过程》:本文主要介绍JSONWebToken在登陆中的使用过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录JWT 介绍微服务架构中的 JWT 使用结合微服务网关的 JWT 验证1. 用户登录,生成 JWT2. 自定义过滤

Java中StopWatch的使用示例详解

《Java中StopWatch的使用示例详解》stopWatch是org.springframework.util包下的一个工具类,使用它可直观的输出代码执行耗时,以及执行时间百分比,这篇文章主要介绍... 目录stopWatch 是org.springframework.util 包下的一个工具类,使用它

Java使用Curator进行ZooKeeper操作的详细教程

《Java使用Curator进行ZooKeeper操作的详细教程》ApacheCurator是一个基于ZooKeeper的Java客户端库,它极大地简化了使用ZooKeeper的开发工作,在分布式系统... 目录1、简述2、核心功能2.1 CuratorFramework2.2 Recipes3、示例实践3

springboot security使用jwt认证方式

《springbootsecurity使用jwt认证方式》:本文主要介绍springbootsecurity使用jwt认证方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录前言代码示例依赖定义mapper定义用户信息的实体beansecurity相关的类提供登录接口测试提供一

go中空接口的具体使用

《go中空接口的具体使用》空接口是一种特殊的接口类型,它不包含任何方法,本文主要介绍了go中空接口的具体使用,具有一定的参考价值,感兴趣的可以了解一下... 目录接口-空接口1. 什么是空接口?2. 如何使用空接口?第一,第二,第三,3. 空接口几个要注意的坑坑1:坑2:坑3:接口-空接口1. 什么是空接

springboot security快速使用示例详解

《springbootsecurity快速使用示例详解》:本文主要介绍springbootsecurity快速使用示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝... 目录创www.chinasem.cn建spring boot项目生成脚手架配置依赖接口示例代码项目结构启用s

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

java中使用POI生成Excel并导出过程

《java中使用POI生成Excel并导出过程》:本文主要介绍java中使用POI生成Excel并导出过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录需求说明及实现方式需求完成通用代码版本1版本2结果展示type参数为atype参数为b总结注:本文章中代码均为

Spring Boot3虚拟线程的使用步骤详解

《SpringBoot3虚拟线程的使用步骤详解》虚拟线程是Java19中引入的一个新特性,旨在通过简化线程管理来提升应用程序的并发性能,:本文主要介绍SpringBoot3虚拟线程的使用步骤,... 目录问题根源分析解决方案验证验证实验实验1:未启用keep-alive实验2:启用keep-alive扩展建