|
三、 简单命题和复合命题
简单命题又称原子命题,它是不包含任何的与、或、非一类联结词的命题。如1.1.1中所举的命题例子都是简单命题。这样的命题是不可再分割了,如再分割就不是命题了。而像命题"雪是白的而且1
+ 1 = 2",就不是简单命题,它可以分割为"雪是白的"以及"1+1=2"两个简单命题,联结词是"而且"。在简单命题中,尽管常有主语和谓语,但我们不去加以分割,是将简单命题作为一个不可分的整体看待,进而作命题演算。在谓词逻辑里,才对命题中的主谓结构进行深入分析。
仅只限于简单命题的讨论,除分别讨论真值外,再没有可研究的内容了。而命题逻辑所讨论的正是多个命题联结而成的复合命题的规律性。把一个或几个简单命题用联结词(如与、或、非)联结所构成的新的命题称为复合命题,也称为分子命题。复合命题自然也是陈述句,其真值依赖于构成这复合命题的各简单命题的真值以及联结词,从而复合命题有确定的真值。"张三学英语和李四学日语"就是一个复合命题,由简单命题"张三学英语""李四学日语"
经联结词"和"联结而成,这两个简单命题真值均为真时,这复合命题方为真。
在数理逻辑里,仅仅把命题看成是一个可取真或可取假的陈述句,所关心的并不是这些具体的陈述句的真值究竟为什么或在什么环境下是真还是假,这是有关学科本身研究的问题,而逻辑关心的仅是命题可以被赋予真或假这样的可能性,以及规定了真值后怎样与其他命题发生联系的问题。
|
|