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