离散数学 一阶逻辑基本概念 习题

考点：0元谓词符号化

• 分清好 个体词 和 谓词
• 注意格式

考点：一阶逻辑命题的转换

（注意个体域）

• 一个很重要的知识点，没有说明个体域就是全体整体
• 任意 符号对应的是 ->
• 存在 符号对应的是 ^

进阶版

任意和存在杂糅是最难的

考点：将公式翻译成自然语言

考点：指导变元，量词的辖域，个体变项的自由出现和约束出现

考点：一阶逻辑的解释

考点：赋值 和 代换实例