归结（resolution）原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。 在命题逻辑中的归结规则是一个单一的有效的推理规则，从两个子句生成它们所蕴含的一个新的子句。归结规则接受包含互补的文字的两个子句 -...

这个定理有很多丰富的推论。一旦一个系统被证明有切消定理，这个系统通常立即就是一致的。这个系统通常也有子公式性质，这是达成证明论语义的重要性质。切削是证明插值定理的最强力工具。基于归结原理的完成证明查找的可能性，导致Prolog编程语言的本质洞察，依赖于在适当的系统中接纳切规则。 Gentzen, Gerhard. Untersuchungen...

Isabelle/HOL；而其对集合论的形式化工作则使用了 Isabelle/ZF。Isabelle 的主要证明手段利用了高阶版本的归结原理（resolution），基于高阶的合一（unification）。 尽管 Isabelle 主要采取交互式的证明方式，它同时亦提供了若干高效的自...

{\displaystyle {\frac {\Gamma \vdash A,A,\Sigma }{\Gamma \vdash A,\Sigma }}} 。在使用归结原理的自动定理证明中也叫做因子化。在经典逻辑中称为蕴含的幂等性。 交换，这里的在相继式同一侧的两个成员可以对换。符号化为: Γ 1 , A , Γ 2...

教理（拉丁語：doctrina；英語：doctrine），又譯為教義、信理，是一種宗教上的教導，歸結了某個宗教的信仰體系中的基礎原理，主要使用於基督教。在某些方面，與教條（dogma）是同義詞，但根據教派的解釋而有所不同。研究教理的神學分支，稱為「信理神學」或「教義學」（英语：Dogmatic theology）。...

，演繹法才是比較不容易被質疑的一種判斷法，但是也不一定保證這樣做出的結論就是對的。 演绎推理 逆推推理 溯因推理 統計誤用 解释 逻辑 可证伪性 归结原理 归纳推理智能 推论统计 数学归纳法 乌鸦悖论 歸納推理. 教育百科. 台灣: 中華民國教育部. [2023-04-01]. （原始内容存档于2023-04-01）...

、开普勒的行星运动定律、与胡克和佛兰斯蒂德在力学上的讨论。他将自己的成果归结在《物体在轨道中之运动》（1684）一书中，该书中包含有初步的、后来在《自然哲学的数学原理》中形成的运动定律。 《自然哲学的数学原理》（现常简称作《原理》）在埃德蒙·哈雷的鼓励和支持下于1687年7月5日出版。该书中牛顿阐述...

a为常数，此时∀x˥p(x)∧p(a)为永假式，所以当应用Skolemisation方法前，公式必须是(formule normale negative)否定标准式 归结原理 Skolemization on PlanetMath.org （页面存档备份，存于互联网档案馆）...

腹語表演的原理是將嘴唇的動作降至最小，某些不可避免的嘴型動作则必須改以接近的小嘴型發音來做替代如以舌尖中音替代雙唇音。常見的腹語表演是腹語師搭配人偶，進行一段逗趣對話，多是表演性質而較少古代常見的魔術性質。 腹語術的原理可以歸結為以下幾個關鍵要素：...

中共中央军委主席（中共十三届五中全会）一职前，普遍认为他是中国大陆实际的最高领导人，并被写入《中国共产党章程》予以确认。中国共产党将邓的主要政治理念归结为“邓小平理论”，作为党和国家的指导思想以及中国特色社会主义理论体系的第一部分，具体包括“改革开放”、“四项基本原则”、“一国两制”等，他推动的改革...

年（2005年）纪念爱因斯坦的时候，杨把爱因斯坦的成功归结为眼光和机遇。杨认为爱因斯坦不同于区别于洛仑兹和彭加勒，爱因斯坦在科研中既能眺望远处，也能看到近景，这才导致狭义相对论的提出；他又认为爱因斯坦创造出广义相对论所用到的广义协变性和等价原理率先体现出近代理论物理的基础——对称性。杨特别欣赏爱因...

笛卡兒對數學最重要的贡献是创立了解析几何。笛卡兒成功地将当时完全分开的代数和几何学整合。在他的著作《几何》中，笛卡兒向世人证明，几何问题可以归结成代数问题，也可以通过代数转换来发现、证明几何性质。笛卡兒引入了坐标系以及线段的运算概念。笛卡兒在数学上的成就为后人在微积分上的工作提供了坚实的基础...

使人们能够产生比普通仪器所能获得的更大能量的伦琴射线”。 特斯拉注意到使用他的电路和单节点X射线产生装置工作的危险性。在他对这一现象的早期调查的许多笔记中，他把皮肤损伤归结为各种原因。他很早就认为，对皮肤的损害不是由伦琴射线造成的，而是由与皮肤接触时产生的臭氧造成的，在较小的程度上是由亚硝酸造成的。特斯拉错误地认为，X...

源自Dicke的专利，现代雷达常用的脉冲压缩信号有4类，分别为LFM信号、NLFM信号、频率编码信号和相位编码信号，前三种信号都可归结为调频脉冲压缩信号，都是通过频率调制实现非线性相位调制，从而实现获得大的时宽和带宽。【现代雷达】 雷达 遥感 地球观测卫星 RQ-4全球鷹偵察機 ISAR...

政治斗争”是小平同志的原话，不能动。我当时不同意这种说法。 九、五月十七日，在小平同志处召开的常委会上，李鹏、姚依林同志批评我，把学潮升级的责任全部归结到我五月四日在亚银年会上的讲话，其激烈的程度出乎我意料之外。这次常委会再次肯定四月二十六日社论的定性，并做出了调军队进京戒严的决策。我表示有决策比没...

「無窮小的量」的概念最初在埃利亞學派有所討論。柏克萊指出無窮小量的特性為「既不是有限量，也不是無限小，又不是零」。而阿基米德在其《機械原理方法論》（The Method of Mechanical Theorems）中曾初次提出一種和無窮量有關的邏輯上嚴密的敍述。但在古希臘的數學系統中...

庸俗唯物主义，是一个将唯物主义庸俗化的思想观点，流行于19世纪的德国。 庸俗唯物主义虽然承认唯物主义的基本原理，并且尖锐抨击唯心主义的思辨哲学及宗教。但是将意识直接归结为物质，认为人的精神活动能力只不过是脑物质的分泌物或认为思想就是脑髓质的位移。 瑞士哲学家、博物学家K·福格特 德国哲学家、医生L·毕希纳...

1938年12月，德國化學家弗里茨·施特拉斯曼和奥托·哈恩认证了中子轰击铀核产生的钡。1939年，奥地利-瑞典原子物理学家莉泽·迈特纳与她的外甥奥托·弗里施将施特拉斯曼發現的这一未知现象归结为铀核发生了核裂变，并在该年1月13日通过实验验证了这一点。苏联科学院化学物理研究所（英语：Institute of Problems of Chemical...

哥德尔不完备定理破坏了希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。...

一般來說，天主教認為，教條（英語：dogma）是一種經過正式會議肯定過的信仰內容，而教理（doctrina）只是由教會或是某個導師，根據教義（英語：dogma），進一步歸結出的非正式信仰原理，可以作為教育信徒之用，但是具備較低的權威性。但是這個定義不一定適用於新教的教會。包括原罪、三位一體等，都被視為是一個教理（doctrine）。...

。在科学方法中对简单性的偏好，是基于可证伪性的标准。对于某个现象的所有可接受的解释，都存在无数个可能的、更为复杂的变体：因为你可以把任何解释中的错误归结于特例假设，从而避免该错误的发生。所以，较简单的理论比复杂的理论更好，因为它们更加可检验。 「奥卡姆剃刀」这个说法，第一次出现在威廉·哈密顿準男爵（英语：Sir...

導致了對社會主義者，天主教徒和改革者的壓制，另一方面導致了高度侵略性的外交政策。 比勒費爾德學派的代表人物漢斯-烏爾里希·韋勒將德國的災難之路的起源歸結於1860年代至1870年代，當時的德國經濟進行了現代化，但政治現代化並未發生，普魯士的農村精英階層依然有力地控制著軍事、外交和內政。傳統的、貴族的...

為：「一部分是金屬呻吟聲，一部分是嘎嘎聲，一部分是粉碎聲，它不是一個突然的轟鳴聲，因為爆炸會持續幾秒鐘，甚至可能是15到20分鐘」。他把這種巨大聲響歸結為「發動機和機械裝置從螺栓和軸承上鬆脫，再從機房裡掉下來，把所有的東西都砸了」。又過了一分鐘，船上全部燈光閃爍了一下，然後完全熄滅，鐵達尼號陷入黑暗...

莱特兄弟认为困扰航空先驱们的飞行难题有三点，前两点分别是机翼和发动机。他们认为在这两点上前人已经有相当丰富的技术累積，目前问题不大。而他们将最后一点归结为如何控制飞机。1899年英国航空先驱帕西·皮爾策（英语：Percy Pilcher）在一次悬挂式滑翔机试飞时失控坠亡的事件更是让他们坚信，要想成功...

原理》，为全译《资本论》打开通道。 1929年东渡日本。在东京研究马克思主义经济学，从事写作并开始翻译资产阶级古典经济学，为翻译《资本论》奠定基础。1931年“九一八事变”后回国。在上海以翻译和教书为业，并从事进步文化活动。后兼任暨南大学教授。在此期间与郭大力合译的李嘉图《经济学及赋税之原理...

「歷史性的忽視」的原因——「對愉悦的恐懼，與繁殖分开的愉悦使人感到恐懼。」 她認為這種恐懼是造成對「女性的性」一無所知的原因。奧康奈爾則指出：「它可归结为性別之間的對立思想：一種性別是性化的，另一種則只是負責繁殖的，但事實是，兩者都是性化的，都是負責繁殖后代的。」她其後重申：「應該是陰蒂一部分的前庭...

臣的库罗巴特金也在日记中说维特收买了李鸿章。马文忠则认为没有任何资料能够说明李、张为了实践对俄国人的“承诺”而劝说了哪些人，将旅大租借协议的签订完全归结于李、张的极力促成恐怕与事实有相当的距离。 1896年6月13日，李鸿章乘火车自俄国前往德国出访，居住于柏林的凯撒大旅馆。于14日与德皇威廉二世会面...

小时，所得的长度就会无限增大，这是由于海岸线的极不光滑和极不规则性所导致。 海岸线具有不断变化的性质，准确的测量海岸线被认为是不可能的。海岸线的变化归结来说有二，向海洋或向陆地推进。 海岸线时向海洋推进，时向陆地推进。以中国的天津为例，公元前海岸线在河北省的沧县和天津西侧一带的连线上，经过两千多年的演化，海岸线向海洋推进了几十公里。...

克思的社會主義或共產主義，這在《民生主義》第一講中已有明白的交代。孫文說西方的社會主義有五十七種，又說馬克思是「社會病理學家」而非「社會生理學家」。歸結孫文何以會說「民生主義就是社會主義，又名共產主義」，余英時說這有其歷史背景：第一是當時孫文正採取「聯俄容共」以改組國民黨的新政策，他說民生主義即是社...

主体思想的精髓：人是自己命运的主人。 主体思想的哲学原理：主体思想阐明了人和世界的关系问题，即以人在世界上所占的地位和作用为哲学的根本问题，并阐明人决定一切，人是一切事物的主人的哲学原理。 主体思想的社会历史原理：主体史观的基本原理（人民群众是社会历史的主体） 社会历史运动的本质（人类历史是为实现人民群众的自主性而斗争的历史）...

》、《黄素方》、《口齿论》、《平病方》等等医书，最终流传下来的医书被后人编纂为《伤寒论》和《金匮要略》。张仲景采用辨证论治的基本原则，在《伤寒论》中归结为“八纲辨证”和“六经论治”，经由这两种方法辨证论治后，再采用“八法”（汗、吐、下、和、温、清、补、消）治疗疾病。“八纲辨证”是书中贯彻辨证论治的具...