在"中文"词典里带证式}的意思

带证式的发音

带	证	式
dài	zhèng	shì

带证式在中文中的意思是什么？

在中文 词典里带证式的定义

带证式 指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。

带证式的翻译

通过我们的中文多语言翻译器,找到带证式的25种语言翻译

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

• 中文: 带证式
• 翻译者中文 - 西班牙语: Con el tipo de tarjeta
• 翻译者中文 - 英语: With card type
• 翻译者中文 - 印地语: कार्ड के प्रकार के साथ
• 翻译者中文 - 阿拉伯语: مع نوع البطاقة
• 翻译者中文 - 俄语: С типом карты
• 翻译者中文 - 葡萄牙语: Com o tipo de cartão
• 翻译者中文 - 孟加拉语: টাইপ শংসাপত্র দিয়ে
• 翻译者中文 - 法语: Avec le type de carte
• 翻译者中文 - 马来语: Dengan sijil jenis
• 翻译者中文 - 德语: Mit Speicherkarten-Typ
• 翻译者中文 - 日语: カードの種類
• 翻译者中文 - 韩语: 카드 유형
• 翻译者中文 - 印尼爪哇语: Kanthi certificate jinis
• 翻译者中文 - 越南语: Với loại thẻ
• 翻译者中文 - 泰米尔语: வகை சான்றிதழுடன்
• 翻译者中文 - 马拉地语: पुराव्यासह
• 翻译者中文 - 土耳其语: tip belgesi ile
• 翻译者中文 - 意大利语: Con tipo di carta
• 翻译者中文 - 波兰语: Z typu karty
• 翻译者中文 - 乌克兰语: З типом карти
• 翻译者中文 - 罗马尼亚语: Cu card de tip
• 翻译者中文 - 希腊语: Με τον τύπο της κάρτας
• 翻译者中文 - 布尔语(南非荷兰语): Met tipe kaart
• 翻译者中文 - 瑞典语: Med korttyp
• 翻译者中文 - 挪威语: Med korttype

与 «带证式»相关的中文书籍

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

法律逻辑学 - 第 154 页

这个带证式是大前提为省略三段论的情况。又如,故意致人重伤的处三年以上七年以下有期徒刑,某甲故意致人重伤,因为某甲有意毁人容貌,所以,某甲应处三年以上七年以下有期徒刑。这个三段论的小前提,是另一省略三段论的结论。把它省略的大前提 ...

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

逻辑新体系 - 第 207 页

它被称为后退的连锁式,因为它是后退的复" ^ "式的省略式。(三〉带证式带证式是前提带有证明的三段论。它分为单带证式和复带 I 式。单带证式是一个前提带有证明,即一个前提为省略三段例如,正义的事业是一定要胜利的, , ,我们的事业是正义的事业, ...

夏兴有, 1987

哲学大辞典: 逻辑学卷 - 第 323 页

此外无其它表达式为项。项的周延性见"周延性" ( 294 页)。带证式一种复合形式的三段论,其中至少有一个前提是另一个省略三段论的结论。如果三段论的两个前提中,只有一个前提为另一个省略三段论的结论,就称为单带证式。其逻辑形式是: ^ — ? ,因为 ...

《哲学大辞典・逻辑学卷》编辑委员会, 1988

普通逻辑 - 第 153 页

在这个三段论中,小前提是另一个简略三段论的结论。这个简略三段论是把大前提。唯心主义先验论是反动思想"省略了。在这个三段论中,只有一个前提带有证明,所以叫做单带证式。( 2 )复带证式。复带证式是两个前提都是筒咯三段论的结论的三段论。

“普通逻辑”编写组, 1982

逻辑学小辞典 - 第 250 页

>至少有一个前提本身带有证明性理由的三段论的复杂式。带有证明性理由的那个前提本身又是另一个省 0 三段论的结论。带证式分为两种形式,电带证式和复带证式。详见"单带证式"和"复带证式" · 故(虽经)中的逻辑术语。

《逻辑学辞典》编委会, 1983

大众逻辑学 - 第 238 页

... (小前提)所以,马是有比较发达的盲肠的动物。〔结论)以上所举的两个例子,都叫带证式推理。常常把第一个例子的推理形式,叫单带证式;把第二个例子的推理形式,叫复带证式。带证式用公式来表示就是: , ; : : : . 7 1 小前提带证明的带证式, :"、、IV!―?, 11 .

周尚荣, 1983

形式逻辑 - 第 182 页

这就是-个带证式,即第一个三段论是附带着证明的,它证明为什么"鲸是哺乳动物"。可见,所谓带证式,实际上也是一种省略推理。我们把上述带证式恢复为完整三段论就是:凡用乳哺育幼体的动物都是哺乳动物;鲸是用乳哺育幼体的;所以鲸是哺乳动物; ...

吴学静, 1983

社会科学大词典 - 第 138 页

... 都是实质定义。九杠韩证式三段论凡拈一个或两个前挞咐带有证明曲三段论 ... 有两种形式, [ 1 )单锥证式三段论,指一个前杆咐韩钉证明的三段论。如·科学是不怕批评 ... 复带证式三段论的结构式为, MTP " · " M 一 A 省略部分为,品散散散散兰 S-iM VS ...

彭克宏, 1989

清式营造则例 - 第 178 页

[台基上垂头地伏]民宽厚并外加宽厚。剪认俱同瞄跺」:垂头地伏法,同台丛勾们叩足象眼地伏厚股长即是象眼地伏民。呵以勾股求弦。[垂带上地伏)长按睡带通氏。卜除垂带头带地伏民,并地伏前金边宽,上除垂带地伏,卜除厌寸净若千是长。宽按栏板厚二份是 ...

梁思成, 2006

黑客札记: Windows安全手册 - 第 94 页

Windows安全手册 欧迪尔. 暴中心)开始注黄到 M;Cppe 确羽 L 油贯堵口( TCP / 1433 )上的扫拈活动在增长。人们很快枕清娃了鼻虫已经取杆了立足点,而分杆结束之后,很多叨 L 赞理员都忙膏起来。 SQL 和士鼻虫传拆时用孜据库震较用户账 P ( m )与 ...

欧迪尔, 2005