共查询到20条相似文献，搜索用时 453 毫秒
1.
存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。 相似文献
2.
3.
逻辑函数通常有真值表、卡诺图、函数式和逻辑图等四种表示方式。它们将事物的因果关系抽象为逻辑理论基础。对某一个逻辑函数其真值表和卡诺图是唯一的,真值表和卡诺图都有直观、明了的优点且利用函数的卡诺图进行化简在变量个数较少时,十分有效。一、真值表所谓真值表就是以代码“0”“1”方式描述事情因果关系的表格称为逻辑真值表。逻辑电路用到的基本逻辑关系有与逻辑,或逻辑和非逻辑,相应的逻辑门为与门,或门及非门等等。其真值表如下：1两输人端与门的真值表与波形图与门的逻辑功能是,输入全部为高电平时输出才是高电平,否则… 相似文献
4.
5.
马明辉 《中山大学学报论丛》2009,2(1)
增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理.由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念.因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数.我们把讨论各种模型论逻辑的方式转移到模态方面. 相似文献
6.
为了提高同学们综合运用数字电路知识的能力,列举下面综合数字电路题目作一解析说明,供大家复习中参考。例一.逻辑函数Y_1、Y_2分别用逻辑图和波形图(见图I(a)、(b))表示出,试求它们的最简与非逻辑图。解题思路:本题训练逻辑函数的化简方法和各种函数表达形式的转换方法。需先写出逻辑函数表达式,进形化简,求出最简与或式,再用两次取反办法求出最简与非式,最后画出逻辑图。 相似文献
7.
罗翊重 《昆明师范高等专科学校学报》2011,(4):23-31
逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题,辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。 相似文献
8.
9.
10.
卡诺图在逻辑函数的化简和逻辑电路的设计中,有着重要作用.正确运用卡诺图的前提是把给定的逻辑函数正确填图.可以利用卡诺图将逻辑函数化简为各种最简表达式;可以用来检查逻辑函数的竞争冒险等;在组合逻辑电路和时序逻辑电路的分析与设计中更有广泛的重要应用. 相似文献
11.
高时阔 《咸阳师范学院学报》2006,21(1):61-64
《红楼梦》塑造了众多鲜活生动、让人过目难忘的人物形象。胡文彬的《红楼梦人物谈》从一个新的视角,抓住人物具有个体特性的“情态”,用相对精短的的篇幅,评析了《红楼梦》里60多位人物形象,列举了红楼人物情态的多样性,揭示了红楼人物情态的心理活动基础,分析了红楼人物情态与肢体语言相映成趣的关系,阐明了红楼人物情态描写对塑造人物形象的意义,为《红楼梦》人物研究提供了新的借鉴。 相似文献
12.
交往:教师专业发展的重要路径——哈贝马斯批判理论对教师专业发展的启示 总被引：4，自引：0，他引：4
在哈贝马斯批判理论的视角下,教师专业发展具有"解放性"、"多维性"、"情境性"等特点,这些特点预示了必须用社会科学反思建构的逻辑进行教师专业发展的解释和实践。因此,交往是教师专业发展的重要路径,应建构教师专业发展的新模式—交往模式。在交往模式中,学习共同体是交往得以进行的组织基础,理想言说情境是交往能"自主"、"解放"并达成发展目标的逻辑前提,而交往双方互为主体的平等性则是交往有效的基本保障。 相似文献
13.
程平 《合肥师范学院学报》2012,30(4):66-70
政治自由是近代政治哲学的重要范畴.在政治自由问题上,卢梭以平等前提下的自由主义为价值取向,将合理假设的“自然状态”作为逻辑起点,将“自然的自由”、“社会的自由”和“道德的自由”作为实现政治自由的必经阶段,将公意指导下的“人民主权”作为最终目标,从而构建出政治自由观的独特逻辑,同时也包含着政治自由被滥用的可能. 相似文献
14.
胡媛媛 《黄石理工学院学报(人文社科版)》2006,23(2):44-47
欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。 相似文献
15.
严复的"信、达、雅"三难说对翻译标准进行了高度的概括。"信、达、雅"蕴涵着丰富的辩证法思想,"信"是最基本的,指译者要如实地表达原文的意思,"达"是指译文要顺畅,"雅"是指译文要有文采。"三难说"主次有序,既提出了"达"对"信"的制约,又提出了"雅"对"信"和"达"的影响,三者构成了一个统一的有机体。 相似文献
16.
股东平等是现代各国公司立法的基本原则,是个多维概念,它从主体的角度界定平等,并要求实现实质的、具体的平等。我国股东平等制度的长期缺失曾引发公司实践中资本多数决原则的滥用和中小股东权益保护的不足。新修订的《公司法》实现了股东平等保护的巨大飞跃,但其制度设计仍有待进一步改进和完善。 相似文献
17.
"以县为主"是基础教育管理领域的一种新的制度安排,其意图在于缓解"分级办学,分级管理"所造成的教育公平和效率之间的矛盾和冲突.但从我国基础教育发展的实际情况来看,"以县为主"难以适应我国区域差距巨大的现实国情和新的历史条件下人们对于教育公平的新要求.有必要根据基础教育的性质和发展需要重新理解基础教育领域公平和效率的关系,确立正确的基础教育发展价值取向,从而深化基础教育管理体制改革,促进基础教育公平发展. 相似文献
18.
本文系统地介绍了反证法的逻辑原理、种类、图论证明中运用反证法导致矛盾的类型，以及在图论证明中在什么情况下运用反证法较为适宜等问题，使读者对反证法及反证法在图论中的应用有一个全面的认识． 相似文献
19.
赵中国 《信阳师范学院学报(哲学社会科学版)》2014,(1):15-21
胡煦是清初易学大家,在易学领域有众多创见。胡煦易学的众多创见,以其根本创新精神为基础,而其创新精神,主要包括两点,第一,胡煦的大易学视野所体现的统贯精神,第二,胡煦的《循环太极图》所体现的统摄精神。依靠统贯精神,自然天道、河图洛书,与先天四图、《易经》卦爻、《易传》等四圣之《易》得以贯通,大易学视野得以展开;依靠此统摄精神,胡煦创《循环太极图》,以之明天道、配诸图、论《周易》,无不言之成理、论说圆融。据此两大创新精神,富于特色的胡煦易学理论体系得以建立。 相似文献
20.
为解决含过程程序的单子切片问题,提出基于回填待定标号的两阶段单子切片算法．算法第1阶段用给定标号初始化子过程的形参切片表,并通过分析调用语句捕获被调者对调用者的影响．算法第2阶段主要是通过回填切片表中相应的待定标号来捕获施调者对被调者的影响．待定标号的引入使得所提切片算法可捕获类似基于系统依赖图（SDG）切片算法中的概要信息,且也可避免上下文调用问题．借助于切片单子转换器,所提单子切片算法将具有较高的模块性和适应性,且其复杂度不劣于基于SDG的切片算法． 相似文献