从充分条件看尽举选言命题的性质及其推理  

Viewing the Characteristic and Inference of Disjunctive Proposition from Sufficient Condition

作　　者：龚启荣[1] 

机构地区：[1]贵州大学北区逻辑学专业研究生点,贵州贵阳550025

出　　处：《毕节学院学报（综合版）》2007年第6期39-45,共7页Journal of Bijie University

基　　金：教育部人文社会科学"当代形式逻辑及其在人工智能中的应用理论研究"项目成果。项目批准号:07ja720006

摘　　要：充分条件关系是非纯真值的联结关系,不是纯真值联结关系。作为必须通过非纯真值的充分条件假言联结词"若,则"来定义的导出的尽举选言命题也是非纯真值的:尽举选言命题的真值,不取决于出现在其中的肢命题的真值,前者不是后者的真值的真值函数。以尽举选言命题作为前提能构成从已知获取新知的推理。以纯真值复合命题作为前提不能构成从已知获取新知的推理。The sufficient condition is the connecting relation of non-simplified truth, not simplified. Disjunctive proposition, defined by and deduced from the sufficient condition of non-simplified truth connected by Ruo and Ze the hypothetical connectives, is also the non-simplified truth. The truth of disjunctive proposition is not depended on the truth of its branch proposition but the truth function of the former but not the latter＋ Basing on disjunctive proposition, an inference for obtaining the unknown from the known can be made up. Basing on compound proposition, the inference mentioned above cannot be made up.

关 键 词：尽举选言命题 尽举选言推理 非纯真值复合命题 纯真值复合命题 两个独立性 新知 

分 类 号：B812.22[哲学宗教—逻辑学]