数理逻辑学习笔记[6] #20211027

最新推荐文章于 2022-01-01 00:19:55 发布

tritone

最新推荐文章于 2022-01-01 00:19:55 发布

阅读量325

点赞数

分类专栏：数理逻辑学习笔记文章标签：逻辑推理

本文链接：https://blog.csdn.net/tritone/article/details/120985904

版权

一阶逻辑：模型论

Q: 闭项和闭式有何联系？
A: 闭项不含变元，闭式不含自由变元。闭项组成闭式，闭式不一定内部全为闭项（可能有约束变元）。
Q: 利用前一篇中公式的项替换的赋值中的类似技术，容易证明对于某公式 $\mathscr A$ ，如果两个赋值对于（）的自由变元都相同，则（）。由此推出（）是二值的。
A: 出现在 $\mathscr A$ 中的所有，这两个对于 $\mathscr A$ 的赋值同时满足或不满足，闭式
Q: 数学中通常只用闭式，那怎么处理一般公式？“对闭式，检测其真假值只需检查某个赋值”意味着可以通过举特例证明或证伪一切数学命题吗？
A: 提示：增加全称量词，把自由变元变为约束变元。
对闭式检查某个赋值是否满足时，根据全称量词相关定义，可能实际上需要检查无穷多个 $i -$ 等值的赋值，也就是不能简单举特例。
Q: 重言式和有效是何关系？
A: 有效是对任意解释为真，重言式一定有效。有效不一定是重言式，例如 $\forall x_i\mathscr A\to\exists x_i\mathscr A$ 显然有效但不能由命题逻辑的重言式替换得到。
Q: $\mathscr A\models \mathscr B$

关注