第2 章命题逻辑.pptx

第2章命题逻辑;2.1智能家居系统;命题设定;逻辑规则（1）;具体场景：逻辑推理;最终状态与意义;2.2命题逻辑的语言;公式的构成;子公式;归纳证明方法;事实1：括号数量;自然语言的形式化;2.3命题逻辑的语义;2.3.1真值表;1.否定（Negation）;2.合取（Conjunction）;3.析取（Disjunction）;不相容析取;4.蕴涵（实质蕴涵）;蕴涵的理解;蕴涵的自然语言表达;5.等价;6.复合公式的语义;复合公式真值计算程序;赋值的概念;定义2（赋值真值语义）;2.3.2逻辑等值、重言式与矛盾式;1.逻辑等值的引入;逻辑等值的性质;定义3（逻辑等值