导图社区 《离散数学》第三章思维导图
满满知识点!学习笔记思维导图分享!这份是《离散数学》第三章思维导图,整理的很详细,很具体。具体讲了《离散数学》第三章的一阶逻辑基本概念和一阶逻辑等值演算的内容,能让你们更快速方便的去了解学习!赶紧收藏学习起来!
社区模板帮助中心,点此进入>>
英语词性
法理
刑法总则
【华政插班生】文学常识-先秦
【华政插班生】文学常识-秦汉
文学常识:魏晋南北朝
【华政插班生】文学常识-隋唐五代
【华政插班生】文学常识-两宋
民法分论
日语高考動詞の活用
《离散数学》第三章思维导图
3.1 一阶逻辑基本概念
子主题
3.1.2 个体词、谓词与量词
3.1.4 一阶逻辑公式与分类
3.2 一阶逻辑等值演算
3.2.1 一阶逻辑等值式与置换规则
– 基本等值式 – 置换规则、换名规则
3.2.2 一阶逻辑前束范式