3-30 ·

3-30 · 命题的谓词符号化方法
(1)确定命题中的量词类型和特性谓词。
①全称量词刻画的特性谓词，将作为蕴涵式的前件加入。
②存在量词刻画的特性谓词，将作为合取式的合取项加入。

3-30 · 量词与特性谓词表示个体域

3-30 · 个体词，个体常量(小写字母)
谓词，命题函数的元根据实际情况设置个体变量数

3-30

3-30 · 要求前提的合取为真
逻辑结果为真
即蕴含关系

3-30

3-30 · 主析取寻找真的情况集合，主合取寻找假的情况集合，表示的命题情况一致

3-30 · 极小项寻有，极大项寻无

3-30 ·