一阶逻辑备忘

最新推荐文章于 2022-09-27 15:11:19 发布

SpaceKitt

最新推荐文章于 2022-09-27 15:11:19 发布

阅读量1k

点赞数 1

分类专栏： math 文章标签：离散数学谓词逻辑数量量词至少量词至多量词

本文链接：https://blog.csdn.net/u010476094/article/details/48419213

版权

math 专栏收录该内容

24 篇文章 1 订阅

订阅专栏

符号化

1. 全称量词蕴含式

所有的无限循环小数都是有理数。
即：
对于论域中的所有个体，要么它不是无限循环小数；要么它是无限循环小数，同时是有理数。

F(x): x是无限循环小数
G(x): x是有理数

\forall x (\neg F (x) \lor (F (x) \land G (x)) \Leftrightarrow \forall x (\neg F (x) \lor G (x)) \Leftrightarrow \forall x (F (x) \to G (x))

$\forall x(\neg F(x)\vee (F(x)\wedge G(x))\Leftrightarrow\forall x(\neg F(x)\vee G(x))\Leftrightarrow\forall x(F(x)\rightarrow G(x))$
F是G的子集

F⊆G $F\subseteq G$

2.存在量词合取式

有的素数是偶数。
即：
存在一个数，它是素数，同时它也是偶数。
F(x): x是素数
G(x): x是偶数

\exists x (F (x) \land G (x))

$\exists x(F(x)\wedge G(x))$
F交G不是空集

F∩G≠∅ $F\cap G\neq \emptyset$

两种否定

并非所有的F都G： $\neg \forall x(F(x)\rightarrow G(x))$

所有的F都不G： $\forall x(F(x)\rightarrow \neg G(x))$

等值演算|推理

	$\wedge$ 合取	$\vee$ 析取	$\rightarrow$ 蕴含
$\forall$	充要	必要	充分
$\exists$	充分	充要	必要

充要

\forall x (F (x) \land G (x)) \Leftrightarrow \forall x F (x) \land \forall x G (x)

$\forall x(F(x)\wedge G(x))\Leftrightarrow\forall xF(x)\wedge\forall xG(x)$
必要

\forall x F (x) \lor \forall x G (x) \Rightarrow \forall x (F (x) \lor G (x))

$\forall xF(x)\vee\forall xG(x)\Rightarrow\forall x(F(x)\vee G(x))$
充分

\forall x (F (x) \to G (x)) \Rightarrow \forall x F (x) \to \forall x G (x)

$\forall x(F(x)\rightarrow G(x))\Rightarrow\forall xF(x)\rightarrow\forall xG(x)$
存在量词同理（形式逻辑，蕴含式的前件为假，或者后件为真，就总成立）。

\forall x \forall y F (x, y) \Rightarrow \exists x \forall y F (x, y) \Rightarrow \forall y \exists x F (x, y) \Rightarrow \exists x \exists y F (x, y)

$\forall x\forall yF(x,y)\Rightarrow\exists x\forall yF(x,y)\Rightarrow\forall y\exists xF(x,y)\Rightarrow\exists x\exists yF(x,y)$
“同一个x对应所有的y”，比”所有的y都存在对应它的x”的要求更强，后者可以是同一个x，也可以不是。

数量量词表示至少、至多和恰好

1.至少有n个F（不少于n个F）

记 \exists n x F (x) = ⎧ ⎩ ⎨ ⎪ ⎪ n = 1 \exists x F (x) n > 1 \exists x 1 . . . \exists x n (F (x 1) \land . . . \land F (x n) \land x 1 \neq x 2 \land . . . \land x 1 \neq x n \land . . . \land x n - 1 \neq x n)

$记\quad\exists_{n}xF(x)=\left\{\begin{array}{lr} n=1\quad \exists xF(x)\\ n>1\quad \exists x_{1}...\exists x_{n}(F(x_{1})\wedge... \wedge F(x_{n})\wedge x_{1}\neq x_{2} \wedge ... \wedge x_{1}\neq x_{n}\wedge ... \wedge x_{n-1}\neq x_{n}) \end{array}\right.$

2.至多有n-1个F（少于n个F）

记 \forall n x \neg F (x) = ⎧ ⎩ ⎨ ⎪ ⎪ n = 1 \forall x \neg F (x) n > 1 \forall x 1 . . . \forall x n (F (x 1) \land . . . \land F (x n) \to x 1 = x 2 \lor . . . \lor x 1 = x n \lor . . . \lor x n - 1 = x n)

$记\quad\forall_{n}x\neg F(x)=\left\{\begin{array}{lr} n=1\quad \forall x\neg F(x)\\ n>1\quad \forall x_{1}...\forall x_{n}(F(x_{1})\wedge... \wedge F(x_{n})\rightarrow x_{1}= x_{2} \vee ... \vee x_{1}= x_{n}\vee ... \vee x_{n-1}= x_{n}) \end{array}\right.$

3.恰好有n个（至少n个并且至多n个）

略。

\neg \exists n x F (x) \Leftrightarrow \forall n x \neg F (x)

$\neg\exists_{n}xF(x)\Leftrightarrow \forall_{n}x\neg F(x)$

本页Latex公式的对齐，参考
https://en.wikibooks.org/wiki/LaTeX/Advanced_Mathematics#Using_aligned_braces_for_piecewise_functions

数量量词，参考
http://faculty.washington.edu/smcohen/120/Chapter14.pdf