非形式化的命题逻辑和谓词逻辑有效性判定方法之比较分析

来源 :才智 | 被引量 : 0次 | 上传用户:lady408
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
命题逻辑仅仅考虑命命题间的关系,把原子命题作为基本单位,而不探究其内部结构.而谓词逻辑则执著于命题的内部构件,着重研究量词从而需要以非逻辑词语作为命题形式的基本元件;在谓词逻辑中,原子命题被进一步分析为谓词、个体词、量词和联结词.二者有着质的不同,对其有效性的判定方法进行分析,会使我们对于他们的性质有着更深层次的理解.
其他文献
聚合物驱油时,聚合物分子量是影响其驱油能力的重要因素之一。实验考察聚合物在岩芯渗流过程中分子量变化规律,实验结果显示,聚合物在岩心渗流过程中,污水体系的分子量降解率
期刊
本文从职业学校电子商务和物流复合型人才培养角度出发,探究了现代服务产业背景下这类人才的基本素质,进而提炼出满足电子商务和物流复合型人才培养的策略。 Based on the t
期刊
文化是一个民族的血脉,是人类的精神家园。随着社会的不断进步,人们对物质消费以及精神层面的需求越来越高,于是为了满足社会发展以及人们的需求,社会上出现了新的时尚文化,
期刊
期刊
文章主要以转型期国有企业为主体对象,简单叙述了国有企业薪酬机制的发展经过,并细致讲述了当前阶段国有企业薪酬制度改革中存在的问题,指出了转型期国有企业薪酬制度改革的
期刊
期刊
很多时候,浑然天成的材料更能让作品展现它的魅力,瑞士某建筑事务所里的设计师们在印第安纳波利斯艺术博物馆外建造的这座大树秋千架便是一例。设计师们先在森林中选择了一棵