离散数学(高教版)第4章课件

- 主要内容一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足