第一章 命题逻辑一、真值形式1. 命题及其真值、原子命题和复合命题前题及其真值我们已经知道， 作为逻辑研究主要对象的推理，是一个命题序列， 是从某个或某些命题得到某个命题的思维过程。那么，什么是命题呢？命题是表达判断的语句。所谓判断，就是人对思维对象有所断定。一切能被人思考的客体都构成思维对象，简称对象。 对象可以是有形的， 也可以是无形的；可以是物质的， 也可以是精神的； 可以是存在的， 也可以是不存在的。 总之， 包罗万象。对象要能被思考， 必须具有一定的性质，处于定的关系之中。对象的性质和对象之间的 关系统称对象的属性。没有属性的对象，是不存在的。判断对对象有所断定，就是断定对象具有或不具有某种属性。 判断用语句的形式表达出来，就是命题。例如：(1) 所有不受外力作用的物体都作匀速直线运动。(2)上帝是万能的追物主。(3)如果上帝是万能的造物主，那么他既能又不能造出一块他自己都无法举起的石头。 这些都是命题。命题都有真假。没有真假的语切不表达确定的判断因而不是命题。命题的真或假，称为命题的真值。也就是说，命题的
