写在前面： 我是「虐猫人薛定谔i」，一个不满足于现状，有梦想，有追求的00后
$\quad$
本博客主要记录和分享自己毕生所学的知识，欢迎关注，第一时间获取更新。
$\quad$
不忘初心，方得始终。自己的梦想，终有一天会实现！
$\quad$

❤❤❤❤❤❤❤❤❤❤

一阶逻辑命题符号化

三个基本要素：
1、个体词
2、谓词
3、量词

个体词

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

将表示具体或特定的客体的个体词称作个体常项
将表示抽象或泛指的个体词称为个体变项
称个体变项的取值范围为个体域（或称论域）

谓词

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

同个体词一样，谓词也有常项与变项之分。
谓词常项：表示具体性质或关系的谓词
谓词变项：表示抽象或泛指的性质或关系的谓词

量词

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

（1）全称量词

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

（2）存在量词

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

注意：

1、命题中表示性质和关系的谓词分别符号化为一元和n（n$\le2$≤2）元谓词
2、根据命题的实际意义选用全称量词或存在量词
3、一般来说，多个量词出现时，它们的顺序不能随意调换
4、命题的符号化形式不唯一

一阶逻辑公式及解释

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