先决条件 – 谓词和量词 – 第 1 组、第 2 组
量词是表示它们所附的术语范围的表达式，这里是谓词。谓词是语句的主语可以具有的属性。
例如，在语句“x 和 y 的和大于 5”中，谓词 ‘Q’ is-sum 大于 5，
并且该语句可以表示为 Q(x, y)，其中 x 和 y 是变量。
一个量词或量化的范围是，在量词接合式中的范围内。
量化类型或范围：
- Universal(∀) –谓词对于域中 x 的所有值都为真。
- Existential(∃) –谓词对于域中的至少一个 x 为真。
要知道公式中量词的范围，只需使用解析树。如果一个量词在另一个的范围内，则嵌套两个量词。
- 示例 1：
∀x ∃y (x+y=5)
这里的’∃’(读作存在)和’∀’(读作所有)是变量 x 和 y 的量词。
该语句可以表示为 –
∀x Q(x)
Q(x) 是 ∃y P(x, y) Q(x) – 谓词是仅 x 的函数，因为量词仅适用于变量 x。
P(x, y) 是 (x + y = 5) - 示例 2
∀x ∀y ((x> 0)∧(y< 0) → (xy< 0))
(用英语讲)
对于每个实数 x 和 y，如果 x 为正而 y 为负，则表示 xy 为负。
再次，
∀x Q(x)
其中 Q(x) 是 ∀y P(x, y)
将语句转换为嵌套量词公式的示例：
“这堂课有一个学生至少修过一门离散数学课程。”
语句由量词和谓词组成，将其分为两个成分。
这里 x 和 y 是学生，课程和它们各自的量词附加在它们前面。
写成——
对于某些 x 学生，存在一门离散数学课程，使得 x 选择了 y。
∃x ∃y P(x,y)，其中P(x,y)是“x取了y”。
- 定理 1：可以在不改变语句含义的情况下更改嵌套存在量词的顺序。
- 定理 2：可以在不改变语句含义的情况下更改嵌套全称量词的顺序。
- 示例 3：
假设 P(x, y) 是 xy=8，
∃x ∃y P(x, y) 域：整数
翻译成——
有一个整数 x 有一个整数 y 使得 xy = 8，
这与-
有一对整数 x, y，其中 xy = 8。
含义 ∃x ∃y P(x, y) 等价于 ∃y ∃x P(x, y)。相似地，
假设 P(x, y) 是 (xy = yx)。
∀x ∀y P(x, y) 域：实数
翻译成——
对于所有实数 x，对于所有实数 y，xy = yx 或，
对于每对实数 x, y, xy = yx。
∀x ∀y P(x, y) 等价于 ∀y ∀x P(x, y)。但是，当嵌套的量词不同时，改变顺序会改变语句的含义。
- 示例 4：
假设 P(x, y, z) 是 (x + y = z)。
∀x ∀y ∃z P(x, y, z) 域：实数
翻译成——
对于所有实数 x 和 y，存在一个实数 z 使得 x + y = z (True)
∀z ∃x ∃y P(x, y, z) 定义域：实数
有一个实数 z 使得对于所有实数 x 和 y，x + y = z (False)
嵌套量词的否定：
- 定理 3
要否定嵌套量词的序列，请将序列中的每个量词更改为另一种类型，然后否定谓词。
所以 ∀x ∃y : P(x, y) 的否定是 ∃x ∀y : ~P(x, y)
- 示例 5：
“∃x 在康奈尔大学，x 至少 18 岁。”
为了不同意这一点，您通过将 ∃ 翻转为 ∀ 然后否定该语句
否定谓词：
“在康奈尔大学的∀x 使得x 不是至少18 岁。”