第六讲 命题逻辑

　　一、小结
　　本讲主要介绍命题、联结词、真值表、命题公式、等价公式、蕴含式等概念，以及等价公式与蕴含式的证明方法等。
　　1．命题的概念
　　命题是指一个有意义的陈述句，可以由其陈述的内容来确定其说明是真还是假的。
　　命题是表明人们进行理性思维活动时的一种判断，通常是肯定或否定某种客观事物的某种性质。
　　命题所取的值称为命题的真值．命题的真值可以取二种值，即真或假。
　　原子命题是构成数理逻辑中命题逻辑对象语言的最基本的，不可再分的逻辑成分。