学科分类
/ 25
500 个结果
  • 简介:逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。反过来,某些结构类却不能以逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是,该框架类对满射互模拟象、不相交并封闭,并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是,它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑

  • 标签: 模态逻辑 定义 公式 充分必要条件 直觉主义逻辑 封闭
  • 简介:<正>排比是把结构相同或相似、意思密切相关联的语言单位排列起来。以"壮气势,广文义"(陈骙:《文则》)的一种修辞手法。排比之间无不受逻辑规律的制约的。研究排比之间的逻辑联系,可以有助于我们加深对排比句内容的理解;并使我们的表达,不仅具有恣肆汪洋的气势,而且还具有严密的内在逻辑力量。一、语序隐合逻辑联系排比之间的逻辑联系,常常是通过排比的次序来反映的,也就是说排比的排列不是任意的而是符合逻辑的。例一:这种反科学的反马克思列宁主义的主观主义的方法,是共产党的大敌,是工人阶级的大敌,是人民的大敌,是民族的大敌,是党性不纯的一种表现。

  • 标签: 之间逻辑联系 排比之间
  • 简介:北京开关厂工程师林邦瑾撰写的具有独创性的论著《制约逻辑》已经由贵州人民出版社出版.《制约逻辑》全书约五十万言,共分八章.制约逻辑体系由语义学、语构学、语用学三者组成,分别研究:客观世界的逻辑结构和逻辑规律;刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则;在指谓同一的原则下符号语言与自然语言的互相翻译.制约逻辑的哲学思想是辩证唯物论.其重要的理论观点是:推理式是现实世界的个体间、类间、个体与类间的一元或多元关系间的条件关系的规律在意识中的反映,是人类在认识世界过程中从已知进到未知的初等工具.

  • 标签: 变形规则 逻辑规律 指谓 条件关系 理式 逻辑体系
  • 简介:吕进先生给出的“新诗发展中的‘变’与‘’”是个高水平的学术话题.它也许不能解决如何将汉语新诗的传统之付诸现代性转换的变异这一高难度技术问题。但将新诗发展现象中的某种价值思考甚至现象的合法性纳入“”与“变”的逻辑关系中审视,可以得出一些富于启发性的结论。

  • 标签: “常”与“变” 价值审视 逻辑关系 新诗 汉语 现代性转换
  • 简介:摘要习近平总书记在党的十九大报告中明确要求全面增强党的“八执政本领”。其中,学习本领是前提,政治领导本领是统帅,改革创新本领是动力,科学发展本领是核心,依法执政本领是支撑,群众工作本领是基础,狠抓落实本领是落脚点,驾驭风险本领是保障。八执政本领环环相扣,构成一个严密的思想体系。

  • 标签: 习近平 十九大 执政本领
  • 简介:概称句的形式刻画涉及到知识表达和常识推理,由人工智能研究首先提出。之后出现了多种类型的理论,对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句,并由Asher、Morreau和Boutilier等继续发展,其要点是将“鸟会飞”理解为“正常情况下鸟会飞”,毛翊继而提出双正常解读,将“鸟会飞”理解为“正常情况下,正常的鸟会飞”。以此前工作为基础,周北海提出概称句是揭示概念内涵的句子,“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵

  • 标签: 词项逻辑 算法 树图 形式刻画 概称句 知识表达
  • 简介:直言判断的联,是直言判断结构中重要的组成部分。准确把握直言判断的联特别是否定联,是判定直言判断种类时要特别注意特别当心的环节。由于自然语言表达丰富多彩、灵活多变,在具体的直言判断中,联呈现出多样化的语言存在形态。这增加了学习者对其理解和把握的难度。从直言判断的断定因素、直言判断的结构要素、换质法变形推理三个角度论述了直言判断联特别是否定联逻辑特性及其存在形态。

  • 标签: 直言判断 联项 断定因素 结构要素 换质法
  • 简介:【摘要】作为2021年度国家教育督导一号工程,“五管理”是对人民群众关切教育问题的积极响应,也是为实现立德树人根本任务而采取的改革实施和战略举措。然而,在推进“五管理”的过程中,不可避免地出现了一些问题,影响了教育改革的实际效果。为了有效落实“五管理”教育举措,需要进一步从多维视角进行实践,本文从多维视角探索“五管理”的实践逻辑与进路。

  • 标签: 多维视角 “五项管理” 实践逻辑 进路
  • 简介:

  • 标签:
  • 简介:Visitingthesaunaregularlycouldreducetheriskofdementia,anewstudyhasfound.ScientistsattheUniversityofEastFinlandfollowedmorethan2,000middle-agedmenfor20yearstofindoutwhatfactorsinfluencedhowmanydevelopedcognitive~1problemsinlaterlife.

  • 标签: 痴呆症 regularly FINLAND experienced LIKELY RELAXATION
  • 简介:摘要:现阶段,我国能源企业在开展高硫原油的加工处理阶段,经常会使用到炼油减压装置顶系统等开展系统的相关处理操作。但是,在实际操作阶段,由于技术人员在落实炼油减压装置顶系统的维护操作时存在一定的差异,并且维护操作落实不到位的情况,导致炼油减压装置顶系统产生了不同程度的腐蚀问题,甚至会造成炼油减压装置顶系统出现泄漏的情况。为此应运而生了诸多自动化提升、比例、积分、微分控制整定、先进控制、智能化工厂等公司,通过优化生产过程工艺、控制方案、操作等各种完善方法,最终目的是为了真正实现生产过程自动化。基于此,本文主要对减压装置顶腐蚀进行探讨,详情如下。

  • 标签: 常减压装置 常顶腐蚀
  • 简介:为了展示青少年科技创新活动的新成就,体现青少年勇于探索和创新的蓬勃精神,2006年5月份由省科协、省教育厅、省科技厅共同举办的第20届河南省青少年科技创新大赛日前揭晓栾川县教育学会积极组织参与,其中城关镇第一小学教师聪辅导制作的《水磨及水力发电》独特新颖,科技含量高,吸引评委眼球,一举夺得“科技创新成果竞赛优秀项目一等奖”、“优秀科技实践活动奖”、“优秀辅导教师奖”、“优秀科技教师奖”四个奖项。二人夺四奖,这在此次全省获奖者中仅此一人

  • 标签: 青少年科技创新大赛 小学教师 河南省 栾川县 奖励 科技创新活动
  • 简介:一马纪早早在酒店开了房。他之所以要早早,是在前几天听他的朋友林肖说起他初次约会开房的一个尴尬经历。当他们在酒店前台登记好身份证准备付款时,他和她竟同时拿出了钞票。对于谁给房费这件事上,两个人争抢了起来,直到他们注意到前台的小姑娘窃笑起来时,她才把钞票塞进包里,勉强同意他付。林肖当时跟马纪这么分析:"一对男女开房,

  • 标签: 身份证 酒店 钞票 付款
  • 简介:儒家孔子把“智仁勇”列为中心。智者不惑,不惑于名利权情;仁者不忧,不忧于得失荣辱;勇者不惧,不惧于威迫压榨。道家则提出了“”,“知日明,不知,妄作凶”。释迦虽然是印度的一个王子,但是他的大乘佛法却被中国同化了,而有八大宗。尤其是禅宗,到了六祖慧能所留下的坛经,其中有名的偈子很多,如“佛法在世间,不离世

  • 标签: 大乘佛法 智者 仁者 孔子 儒家 荣辱
  • 简介:应用逻辑逻辑理论应用于特定领域所形成的逻辑理论,是国内外公认的一门逻辑分支学科.应用逻辑不是逻辑的应用,也不是逻辑哲学,更不能把任何科学都作为应用逻辑.应用逻辑逻辑应用中逻辑逻辑、理论的理论、元逻辑.

  • 标签: 应用逻辑 逻辑应用 次元逻辑
  • 简介:英语句子中常有动词不定式充当非谓语成分的情况,对该动词不定式实施动作的人往往由介词for引出。从语法上看这个“动作执行者”是介词for的宾语,但从逻辑上看它与不定式之间存在着“主谓关系”,因此我们称这个“动作执行者”为动词不定式的逻辑主语。如:

  • 标签: 主语逻辑 逻辑主语 逻辑宾语