命题逻辑的局限性 个体词和谓词 个体词 谓词 复合命题的谓词符号化 总结 量词 谓词逻辑符号化的两条规则 谓词的翻译和真值 个体域有限的情况下 谓词逻辑符号化示例一 谓词逻辑符号化示例二 谓词逻辑符号化示例三 谓词逻辑符号化示例四 四类符号 项 合式公式 自由变元与约束变元 两个规则 闭式