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