离散数学学习笔记----一阶逻辑基本概念

一阶逻辑基本概念

一些笔记：

重言式的代换实例都是永真式，矛盾式的代换都是矛盾式。

对公式中的个体域及个体常项、函数符号、谓词符号的指定称作解释，指定自由出现的个体变项的值称为赋值。

注意解题格式。以下给出书上几道例题。

用0元谓词将下列命题符号化：只有2是偶数，4才是偶数。

解:$F(4)\to F(2)$，其中F（x）：x为偶数。

---

在一阶逻辑中将下列命题符号化：有的实数是无理数，有的实数是有理数。

解：$\exists x(F(x)\wedge G(x))\wedge \exists y(F(y)\wedge H(y))$,其中$F(x):x是实数，G（x）：x是有理数，H（x）：x是无理数$。

---

证明$\forall x(F(x)\to G(y))$为可满足式，但不是永真式。

证：取解释$I$为：个体域为全总个体域，$F(x):x$为自然数，G（y）：y为整数，$I$下的赋值${\sigma }_1(y)=1$。不难看出，在$I$与${\sigma }_1$下，题中公式为真命题，所以它为可满足式。

取${\sigma }_2(y)=1.5$，则在$I$和${\sigma }_2$下公式为假命题，所以它不是永真式。