离散数学四省名师优质课赛课获奖课件市赛课一等奖课件

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