论文部分内容阅读
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命题(即命题逻辑的定理)。4条公理是:
一个与卢卡西维兹不同的亚里士多德三段论形式系统
【摘 要】
：
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命
【机 构】
：
贵州教育学院
【出 处】
：
哲学研究
【发表日期】
：
1988年04期
其他文献
国际上有关儿童早期读写能力萌发的研究认为儿童在生活中即开始学习读写,儿童是学习读写的主动者,儿童的阅读和书写相互关联发展。在读写萌发思想指导下的儿童早期读写课程由
家庭信息化是信息技术的重要发展方向，信息化家庭是信息社会的基本单位。数字化技术的发展加速了各种信息家电的出现，进而提出了互联、互通、互操作的要求。Internet技术向社会
<正>众所周知,小学语文教材是小学生语文学习的主要凭借。但只要我们稍加留意就会发现,小学语文教材中的很多文章不仅适合孩子们阅读,也适合我们成人阅读。尤其是其中所蕴藏
以交联甘油环氧树脂交联的聚乙烯醇 (PVA) 为笼树脂,羧甲基壳聚糖 (CCTS) 为蛇树脂制备了具有蛇笼结构的复合螯合膜。研究了其对 Cu2+、Ni2+、Pb2+、Fe3+、Zn2+、Hg2+、Cd2+
张国荣是近年来电影观众们所关注的一位演员,和祖国大陆电影界的频频合作,使得他不断开拓自已的演艺事业。由著名导演叶大鹰执导的新片《红色恋人》邀请张国荣出演男主角,扮
<正> 张庚先生在论及戏曲发展史时曾经提出:中国戏曲是剧诗,从而进一步揭示了戏曲的本质特征。剧诗,当是具有戏剧性的诗,是诗与剧的结合。日前有幸观看了荆门市艺术剧院创作
<正>浙江省镇海宝山幼儿园于2011年9月1日正式开园,现为浙江省一级幼儿园,先后被评为全国科技体育实验园、浙江省巾帼文明示范岗、浙江省家长学校、浙江省"123"工程示范食堂
用美林时钟等传统方法来解释2014年的"股债双牛"现象明显失效。在新常态下,过去中国经济增长过程中存在的一些误区正在被打破,由此引发实体和金融层面的深刻变化。本文通过对
为了解决多指标正交试验方法中存在的计算工作量大,权重的确定不够合理等问题,利用矩阵分析法对多指标正交试验设计进行优化。建立正交试验的三层结构模型和层结构矩阵,将各