上饶师范学院学报
上饒師範學院學報
상요사범학원학보
JOURNAL OF SHANGRAO TEACHERS COLLEGE
2002年
1期
46-49
,共4页
复合命题%选言命题%真值函项%命题联结词
複閤命題%選言命題%真值函項%命題聯結詞
복합명제%선언명제%진치함항%명제련결사
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点.应从"真假决说"角度来定义复合命题:复合命题是其中还包含命题,而且其真假由所包含的命题决定的命题;应采取给联言命题、假言命题下定义同样的"反映说"方式来定义两种选言命题:相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存,至少有一个而且至多有一个存在的选言命题;应持"两立说"来对待不相容选言命题,不能对进行结合运算,这是f10这一真值函项本身的性质使然,不影响不相容选言命题的存在.
我國邏輯界對複閤命題的定義、選言命題的定義以及不相容選言命題的身份這三箇理論問題,有不同的觀點.應從"真假決說"角度來定義複閤命題:複閤命題是其中還包含命題,而且其真假由所包含的命題決定的命題;應採取給聯言命題、假言命題下定義同樣的"反映說"方式來定義兩種選言命題:相容選言命題是反映若榦事物情況可以同存併且至少有一箇存在的選言命題、不相容選言命題是反映若榦事物情況不能同存,至少有一箇而且至多有一箇存在的選言命題;應持"兩立說"來對待不相容選言命題,不能對進行結閤運算,這是f10這一真值函項本身的性質使然,不影響不相容選言命題的存在.
아국라집계대복합명제적정의、선언명제적정의이급불상용선언명제적신빈저삼개이론문제,유불동적관점.응종"진가결설"각도래정의복합명제:복합명제시기중환포함명제,이차기진가유소포함적명제결정적명제;응채취급련언명제、가언명제하정의동양적"반영설"방식래정의량충선언명제:상용선언명제시반영약간사물정황가이동존병차지소유일개존재적선언명제、불상용선언명제시반영약간사물정황불능동존,지소유일개이차지다유일개존재적선언명제;응지"량립설"래대대불상용선언명제,불능대진행결합운산,저시f10저일진치함항본신적성질사연,불영향불상용선언명제적존재.