命题逻辑的局限性

个体词和谓词

 个体词

谓词

复合命题的谓词符号化

总结

 量词

谓词逻辑符号化的两条规则

谓词的翻译和真值

 个体域有限的情况下 

谓词逻辑符号化示例一

谓词逻辑符号化示例二

谓词逻辑符号化示例三

 谓词逻辑符号化示例四

四类符号

 项

合式公式

自由变元与约束变元

两个规则

闭式