第2讲一阶逻辑基础 内容提要 1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 癱4.一阶逻辑推理规则 《集合论与图论》第2讲《集合论与图论》第2讲 1 第2讲 一阶逻辑基础 内容提要 1. 量词、谓词、个体词、命题符号化 2. 合式公式、解释、永真式 3. 一阶逻辑等值式 4. 一阶逻辑推理规则