西安电子科技大学离散数学软件学院家第一篇数理逻辑第1章命题逻辑1.1 命题第1课时→第2课时1.2命题公式一第3课时1.3逻辑等价式与永真蕴含式第4课时1.4主范式7第5课时1.5命题逻辑推理与证明方法A第6课时1.6命题逻辑的应用一
西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第1课时 1.1 命题 第1章 命题逻辑 1.3 逻辑等价式与永真蕴含式 1.2 命题公式 1.4 主范式 1.5 命题逻辑推理与证明方法 第2课时 第3课时 第4课时 第5课时 第6课时 1.6 命题逻辑的应用
西安电子科技大学命题$1.1.1软件学院一个或真或假但不能两者都是的断言（陈述句）命题：（1）命题是对客观事物及其性质的判断般应为汉语中的述句；(2）命题都有确定的值，或者为“真”或者为“假”。如同一个开关要么是开、要么是关只能是这两者之一
西安电子科技大学 命题 软件学院 命题: §1.1.1 （1）命题是对客观事物及其性质的判断， 一般应为汉语中的述句； （2）命题都有确定的值，或者为“真”或 者为“假”。如同一个开关要么是开、要么 是关只能是这两者之一