image.png

1. 谓词逻辑命题符号化

谓词逻辑命题符号化的3个基本要素：个体词、谓词和量词

  1. 个体词
    1. 个体词：研究对象中可以独立存在的具体的或抽象的客体
    2. 个体常项：表示具体或特定的客气的个体词
    3. 个体变项：表示抽象或泛指的个体词
    4. 个体域：个体变项的取值范围
    5. 全总个体域：由宇宙间一切事物组成的个体域
  2. 谓词：刻画个体词性质以及个体词之间相互关系的词

image.png

例题：将命题用谓词符号化，并讨论其真值

蕴含的真值：🦀四、谓词逻辑基本概念 - 图3

image.png

  1. 量词：个体之间数量关系的词
    1. 全称量词：任意的、所有的、每一个、凡
    2. 存在量词：存在、有一个、至少有一个

image.png

例题：使用量词进行符号化

image.png
image.png

2. 谓词逻辑公式及其解释

image.png

2.1 指导变元、辖域

image.png

image.png

2.2 谓词逻辑公式和命题公式的转换

image.png

3. 例题

image.png
image.png
image.png