Coursera离散数学概论笔记（三）： 数理逻辑之谓词逻辑及形式系统

本文目录 1 个体、谓词和量词 1.1 命题的解析 1.2 命题的结构分析 1.2.1 谓词逻辑 1.2.2 个体（individual） 1.2.3 谓词（predicate） 1.2.3.1 定义 1.2.3.2 谓词命名式 1.2.3.3 谓词填式 1.2.4 量词（quantifiers） 2 谓词公式 2.1 谓词公式的定义 2.2 谓词公式成为命题的条件 2.3 语句形式化 3 谓词公

>>阅读原文<<