离散数学学习笔记——第四讲——谓词逻辑（第一部分）（3.4 谓词公式）

  1. 谓词逻辑中使用的四类符号（常量符号、变量符号、函数符号、谓词符号）   2. 为何需要函数符号？函数可用于表达个体词之间的转换关系   3. 项   4. 合式公式（由原子谓词公式（原子公式）构成）   5.合式公式示例及补充说明

>>阅读原文<<