【摘 要】
：
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系.希尔柏脱和阿克曼
论文部分内容阅读
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系.希尔柏脱和阿克曼认为,对命题演算符号可作谓词演算的解释,也可作类演算的解释.通过对谓词的新解释,可以在命题演算、谓词演算与类演算之间建立起完全的类比,从而把传统推理的有些形式作现代逻辑的处理.这一联合演算思想虽未发育成熟,却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系,特别是传统逻辑与现代逻辑的关系开辟广阔的空间.
其他文献
【問题】美佳玩具厂生产一批玩具时剩下大量的全等三角形的余料，如图1，△ABC就是其中一块余料，边BC=120mm，高AD=80mm.玩具厂为了有效利用这些余料，决定把它们加工成矩形布料，使矩形的一边在BC上，其余两个顶点分别在AB、AC上，探究：怎样加工才能使得矩形布料的面积最大？ 图1 我们知道，如果四边形的四个顶点都在三角形的边上，那么就称这个四边形为此三角形的内接四边形，特别的，当四边形
“苏格拉底之死”作为西方史上最具典型意义的事件之一，两千多年来争讼不断，有人认为整个西方思想史就是对“苏格拉底之死”的反思与注解。现行的高中教材中对这一事件也广泛引用，人民版必修一《卓尔不群的雅典》一课中学习思考问题，探讨雅典民主政治暴露的问题；人教版必修三《西方人文主义思想的起源》作为背景材料，呈现一幅附有文字说明的《苏格拉底之死》油画，介绍了他因言获罪的始末。对“苏格拉底之死”的解读，教学中至
应对"全球化"挑战,中国高等教育必须实施"教育创新",走"国际化"道路.在"高等教育国际化"进程中,地方综合性大学承受着来自国际、国内两方面的双重压力.面对压力,地方综合性大
一、引言分享是一种理念，是接纳、享用、创造的过程；分享是一种学习方式、交往方式和生活方式；分享是一种品质，在分享的过程中可实现师生的道德成长.在分享的过程中我们学会欣赏他人与欣赏自己，能在积极主动与人交往的过程中，学会将自己的成果、思想等传送给他人，同时能够与他人进行心灵的沟通，积极接纳别人的一切可取之处.本文以《锐角三角函数》为载体进行教学探索与反思，希望能在落实分享理念的数学教学中起到积极的作
党的“十七大”报告提出要“完善人民币汇率形成机制”。目前，人民币汇率的升值预期已使我国现实经济运行出现了货币供给量增长过快、流动性过剩、通货膨胀率较高及中央银行货
"三个代表"的历史超越性是由其内容所决定的:社会生产力、文化、利益都蕴涵着历史超越性.揭示"三个代表"的历史超越性,有利于深刻理解其与时俱进的理论品质,并更好地贯彻.
巴萨拉是第一个将进化论思想系统地运用到技术发展的描述中并提出比较完整的技术进化论的学者.他认为,多样性的人工产品也像生物一样,存在进化现象.他通过与生物进化做类比,
新课标高考语言运用题更突出与生活贴近的特点，让考生关注生活，感悟生活，新题型，新亮点不断吸引着广大师生。其中就有公益广告词的拟写。我们知道好的公益广告应力求真，巧，美。可是
李肇《唐国史补》中语及“杜司徒年七十，无意请老。裴晋公为舍人，以此讥之”，陈寅恪先生《元白诗笺证稿》也在证说白居易《司天台》、《不致仕》是批评杜佑的诗篇。因此，后人对杜
LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂，虽然给出了语义，但在编写及分析LOTOS规格说明文件时，仍然容易混淆。本人对并发操作符的可结