10.27 11:30-12:00 10道题 不定项

3.6 一阶逻辑的应用

3.6.1 自然语言命题的符号化

自然语言命题的符号化：将自然语言命题转换为一阶逻辑公式

• 先找出原子命题，再建立原子命题间的逻辑关系
• 对于原子命题，要明确个体、个体类、谓词、量词

一阶逻辑符号化的步骤：

• 明确个体：对于具体个体引入个体常量，对于个体类引入个体变量
• 明确论域：论域至少要包含所有个体类的个体。
• 明确谓词：对于每个个体类，设置特征谓词
• 明确量词、逻辑连接词