4.2 谓词逻辑

最新推荐文章于 2024-07-18 18:43:19 发布

诗弈羽弦

最新推荐文章于 2024-07-18 18:43:19 发布

阅读量118

点赞数

分类专栏：数学基础知识文章标签：人工智能深度学习

本文链接：https://blog.csdn.net/qq_58005450/article/details/128418423

版权

数学基础知识专栏收录该内容

25 篇文章 0 订阅

订阅专栏

第四章数理逻辑

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

4.2 谓词逻辑

简单的基础概念

谓词、量词、论域

变元、常元、函数符号、谓词符号、一阶谓词逻辑、二阶谓词逻辑、项、公式

自由变元、约束变元、辖域、基项、语句、开公式、代换、可代入的、闭包

解释、赋值、永真式、判定问题、半可解的、半可判定的

等值演算、逻辑推论
存在与全称的表达

如果存在 $x$ 满足 $P (x)$ 的同时满足 $Q (x)$ ，则记作： $\exists x(P(x)\wedge Q(x))$

如果所有 $x$ 满足 $P (x)$ 的同时满足 $Q (x)$ ，则记作： $\forall x(P(x)\to Q(x))$
等值演算公式

若 $A, B$ 是任意公式， $x$ 是任意变元， $y$ 不是 $A$ 的自由变元且对于 $A$ 中的 $x$ 是可代入的，则

$\begin{aligned} &(1)\urcorner\forall xA\Leftrightarrow\exists x\urcorner A\\ &(2)\urcorner\exist xA\Leftrightarrow\forall x\urcorner A\\ &(3)\forall xA\Leftrightarrow\forall yA_y^x\\ &(4)\exist xA\Leftrightarrow\exist yA_y^x \end{aligned}$

若 $A, B$ 是任意公式， $x$ 不是 $B$ 的自由变元，则

$\begin{aligned} &(1)\forall x(A\wedge B)\Leftrightarrow\forall xA\wedge B\\ &(2)\forall x(A\vee B)\Leftrightarrow\forall xA\vee B\\ &(3)\forall x(A\to B)\Leftrightarrow\exist xA\to B\\ &(4)\forall x(B\to A)\Leftrightarrow B\to\forall xA\\ &(5)\exist x(A\wedge B)\Leftrightarrow\exist xA\wedge B\\ &(6)\exist x(A\vee B)\Leftrightarrow\exist xA\vee B\\ &(7)\exist x(A\to B)\Leftrightarrow\forall xA\to B\\ &(8)\exist x(B\to A)\Leftrightarrow B\to\exist xA \end{aligned}$

若 $A, B$ 是任意公式，则

$\begin{aligned} &(1)\forall x(A\wedge B)\Leftrightarrow\forall xA\wedge\forall xB\\ &(2)\exist x(A\vee B)\Leftrightarrow\exist xA\vee \exist xB \end{aligned}$
逻辑推论相关定理

命题逻辑部分定理均在谓词逻辑部分适用

设 $A, B$ 是任意公式，则 $\forall xA\vee\forall xB\vDash\forall x(A\vee B)$ 。

设 $A$ 是任意公式，则 $\forall x\forall yA\vDash\forall xA_x^y$ ，其中 $x$ 对于 $A$ 中的 $y$ 是可代入的。

设 $\Gamma$ 是公式集合， $A$ 是公式，变元 $x$ 不是 $\Gamma$ 中任何公式的自由变元，则 $\Gamma\vDash A\Rightarrow\Gamma\vDash \forall xA$