人工智能导论课程进度本节知识框架回顾上一节课的内容为什么要研究数学命题逻辑与谓词逻辑命题逻辑与谓词逻辑－命题（1）命题逻辑与谓词逻辑－命题命题逻辑与谓词逻辑－命题命题逻辑与谓词逻辑－谓词命题逻辑与谓词逻辑－谓词命题逻辑与谓词逻辑－谓词命题逻辑与谓词逻辑－谓词命题逻辑与谓词逻辑－谓词公式命题逻辑与谓词逻辑－谓词公式命题逻辑与谓词逻辑－谓词公式命题逻辑与谓词逻辑－谓词公式谓词公式的解释谓词公式的解释谓词公式的永真性、可满足性等谓词公式的等价性与永真蕴含谓词公式的等价性与永真蕴含谓词公式的等价性与永真蕴含谓词公式的等价性与永真蕴含多值逻辑多值逻辑概率论概率论概率论－随机现象样本空间与随机事件样本空间与随机事件样本空间与随机事件事件的概率事件的概率事件的概率条件概率全概率公式Bayes公式本课知识总结作业