在"中文"词典里演绎证明}的意思

演绎证明的发音

演	绎	证	明
yǎn	yì	zhèng	míng

演绎证明在中文中的意思是什么？

在中文 词典里演绎证明的定义

演绎证明 “归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。

演绎证明的翻译

通过我们的中文多语言翻译器,找到演绎证明的25种语言翻译

该章节所呈现的将演绎证明由 中文向其他语言的翻译是通过自动统计翻译获得的；在中文中基本的翻译单位是单词«演绎证明»。

• 中文: 演绎证明
• 翻译者中文 - 西班牙语: prueba deductiva
• 翻译者中文 - 英语: Deductive proof
• 翻译者中文 - 印地语: निगमनात्मक सबूत
• 翻译者中文 - 阿拉伯语: دليل استنتاجي
• 翻译者中文 - 俄语: Дедуктивный доказательство
• 翻译者中文 - 葡萄牙语: prova dedutiva
• 翻译者中文 - 孟加拉语: ন্যায়িক প্রমাণ
• 翻译者中文 - 法语: preuve déductive
• 翻译者中文 - 马来语: bukti deduktif
• 翻译者中文 - 德语: deduktiven Beweis
• 翻译者中文 - 日语: 演繹の証明
• 翻译者中文 - 韩语: 연역적 증명
• 翻译者中文 - 印尼爪哇语: Bukti interpretasi
• 翻译者中文 - 越南语: bằng chứng suy diễn
• 翻译者中文 - 泰米尔语: பகுத்தறிசான்று
• 翻译者中文 - 马拉地语: अर्थाचा पुरावा
• 翻译者中文 - 土耳其语: tümdengelimli geçirmez
• 翻译者中文 - 意大利语: prova deduttiva
• 翻译者中文 - 波兰语: dedukcyjne dowód
• 翻译者中文 - 乌克兰语: дедуктивний доказ
• 翻译者中文 - 罗马尼亚语: dovada deductiv
• 翻译者中文 - 希腊语: Επαγωγική απόδειξη
• 翻译者中文 - 布尔语(南非荷兰语): deduktiewe bewys
• 翻译者中文 - 瑞典语: deduktivt bevis
• 翻译者中文 - 挪威语: deduktive bevis

与 «演绎证明»相关的中文书籍

在以下的参考文献中发现演绎证明的用法。与演绎证明相关的书籍以及同一来源的简短摘要提供其在 中文文献中的使用情境。

民事官司胜诉必读: 诉讼技巧全攻略 - 第 86 页

演绎证明法和归纳证明法都是属于直接证明法,在民事诉讼中使用最多,在下一个类别中具体加以说明。间接证明法,是指通过证明与案件事实相反之事实为假来证明案件事实为真的方法,它不是用证据来直接证明案件事实本身,而是去否定与之相反的假设 ...

常健, ‎汪灏, 2005

何谓逻辑学:

论证是一个或一串较长的推理,其前提便是证明的根据,而最后的结论便是被证明的论题。证明也是推理的具体应用,它和推理的区别在于先提出论题(即结论),然后用推理的方法把它推导出来。证明按照所用的推理方式不同,大体可分为两类:演绎证明和 ...

王晓菊, 2015

逻辑考前辅导教程 - 第 92 页

充足理由原则的公式是: A 真,因为 B 真并且廿能推出 A 。公式中的" A "表示证明中被确定为真的思想(即论题) ,我们称之为推断 ... 所谓"讲道理" ,一般是指演绎论证,即用某些公认或至少是论辩双方共同接受的一般性命题推出某个个别性或特殊性的结论。

周建武, 2005

法律逻辑学 - 第 274 页

用一些具体事实作为论据,通过归纳推理的形式,来证明论题的真实性的,叫做归纳证明。归纳证明同演绎证明的主要区别在于,归纳证明的论证方式用的是归纳推理,论据都是反映个别事实的判断,它的特点是用个别来证明一般;演绎证明的论证方式用的是 ...

阳作洲, ‎石子坚, ‎法学教材编辑部. 《法律逻辑学》编写组, 1983

歷代文選-閱讀、鑑賞、習作: - 第 228 页

因此,歸納和演繹的邏輯思縮,其出現的先後次序以及相互作用,決定了論證的方式,安排了論證的脈絡:從而安置了論點和論據 ... 彼此作用下,論證力量因反覆申說的歸納或演繹而加強,也因歸納證明和演繹證明的分別運用,互相合作,而牽動論證的脈絡,移動 ...

洪順隆, 2005

党的纪检工作技术 - 第 327 页

根据论据和论题联系方式的不同,证明可以分为不同^种类。;一、演绎证明和归纳证明根据证明运用推理形式的不同,证明可以分为^绎证寧- -和归纳证明。\ ~演绎证明就是运用演绎推理的形式进行的证明。它是用比较一般性知识的判断为理由来证明比较 ...

于柯超, 1989

监察工作手册: 续集 - 第 270 页

根据证明运用推理形式的不同; ' ;证明可以分为演绎证明和归纳证明。叶"渍绎证明就是运用慎绎推理的形式进行的证明。它是用比较亡般性知识的判断为理由来证明比较特殊性知识肘判断其实性。'它的特点是;相对说来, :论题是关于特殊性知识的判断, ...

孙立成, 1989

人工智能基础教程 - 第 126 页

是因为完备性定理的证明是在语义树上进行的,而语义树上标出的都是基例式。 ... 九二阳/ z , c / v ) ,使得 C' = d ={-,G(z)vW(v)}·/l = H2(a)viy(c)定理 4 · 7 (归结算法的完全性定理) -个子旬集 5 是不可满足的,当且仅当存在一个从子句集到空子句的演绎。

朱福喜, ‎朱三元, ‎伍春香, 2006

马克思主义经济学史（1883-1929）:

他指出,剩余劳动是“一个经验事实,可以被经验证明,不需要什么演绎证明”,劳动价值论除了是“一种分析和说明的方法”【25】之外和剩余价值无关。马克思本人在使用他的原始积累模型解释剩余价值的起源时,并没有引用价值理论。伯恩施坦认为,马克思 ...

M.C.霍华德 J.E.金, 2015

包含词语«演绎证明»的新条目

找出国内和国际出版社所讨论的内容，以及词语演绎证明在以下新条目的上下文中是如何使用的。

GCT逻辑考试目的及试题结构解读

前面三种类型都是用推理进行证明。原题干中的前提真，或者经补充前提而使前提充分真，那么，可以演绎证明结论必然真，或者归纳证明结论非常可能真。由结论真 ... «中国教育在线, 十一月 13»

莫文蔚全身透明薄纱全裸秀长腿

生平第一次在平安夜开唱的莫文蔚，不断用她的招牌性感舞蹈撩拨长沙歌迷的神经，以小宇宙爆发般的创作和演绎证明自己对于音乐的驾驭能力，让全场歌迷兴奋到尖 ... «搜狐, 十二月 10»