离散数学之一阶逻辑

- - 第2章一阶逻辑21一阶逻辑基本概念22一阶逻辑合式公式及解释23一阶逻辑等值式与前束范式 - - 21一阶逻辑基本