写在前面：我是「虐猫人薛定谔i」，一个不满足于现状，有梦想，有追求的00后

\quad

本博客主要记录和分享自己毕生所学的知识，欢迎关注，第一时间获取更新。

\quad

不忘初心，方得始终。自己的梦想，终有一天会实现！

\quad

❤❤❤❤❤❤❤❤❤❤

目录

一阶逻辑命题符号化

三个基本要素：

1、个体词

2、谓词

3、量词

个体词

个体词是指所研究的对象中可以独立存在的具体或抽象的客体。

将表示具体或特定的客体的个体词称作个体常项

将表示抽象或泛指的个体词称为个体变项

称个体变项的取值范围为个体域（或称论域）

谓词

谓词是用来刻画个体词性质及个体词之间相互关系的词，常用 F, G , H 等 表示

同个体词一样，谓词也有常项与变项之分。

谓词常项：表示具体性质或关系的谓词

谓词变项：表示抽象或泛指的性质或关系的谓词

量词

表示个体常项或变项之间数量关系的词，称为量词

（1）全称量词

\quad 日常生活和数学中常用的“一切的”、“所有的”、“每一个”、“任意的”、“凡”、“都”等统称为全称量词，用符号“ ∀ \forall ∀“”表示

（2）存在量词

\quad 日常生活和数学中常用的“存在”、“有一个”、“有的”、“至少有一个”等词统称为存在量词，用符号“ ∃ \exists ∃”表示

注意：

1、命题中表示性质和关系的谓词分别符号化为一元和n（n ≤ 2 \le2 ≤2）元谓词

2、根据命题的实际意义选用全称量词或存在量词

3、一般来说，多个量词出现时，它们的顺序不能随意调换

4、命题的符号化形式不唯一

一阶逻辑公式及解释

注意，永真式一定是可满足式，但可满足式不一定是永真式。