模态逻辑-2020春季学期

Liu siyao

于 2020-06-05 02:29:41 发布

阅读量588

点赞数 1

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/weixin_46640098/article/details/105526127

版权

本文介绍了模态逻辑的基础概念，包括超集、元组、基数、可数性等数学概念，并深入探讨了模态语言、关系结构和克里普克语义。内容涵盖BNF规则、模态相似类、状态转移系统和克里普克框架，以及逻辑后承和点模型的真值分析。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

第一周

power set 超集

tuple 元组/string 串

2-tuple is also ordered pair（有序对）

Injection 单射

Surjection 满射

Bijection 双射（既单射又满射）

cardinality 基数

countable 可数的

finite
countable infinite

Proposition 1

对一个非空集合M，以下等价（ $\mathbb{N}$ 是自然数）

M是可数集
存在满射f： $\mathbb{N}$ →M
存在单射g：M→ $\mathbb{N}$

Lemma 1

可数多个可数集的并，是可数集

Proposition 2

对任意n∈ $\mathbb{N}$ ，n个可数集的并，是可数集

Lemma 2

如果∑是可数字母表，那么∑中字符串的集合∑*也是可数的

∑上所有长度为n的串的集合是∑^n（∑∪∑∪∑∪∑∪……{n个}）

∑上所有长度有穷的串的集合是∑*= $U_{n\in \mathbb{N}}$ ∑^n

第二周

本周内容三个小节

Modal Language 模态语言
Relational Structure 关系结构
Kripke Semantics 克里普克语义

1.BNF规则定义模态语言（Backus-Naur Form）

模态相似类τ=（O，ρ）

最低0.47元/天解锁文章

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。