雷亚体育手机版下载安装

雷亚体育手机版下载安装:离散数学四省公开课一等奖全国示范课微课金奖PPT课件

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