Significado de "带证式" en el diccionario de chino

PRONUNCIACIÓN DE 带证式 EN CHINO

带	证	式
dài	zhèng	shì

QUÉ SIGNIFICA 带证式 EN CHINO

definición de 带证式 en el diccionario chino

Prueba de la prueba se refiere al silogismo, al menos uno de los cuales se basa en la omisión de la conclusión del silogismo, con la premisa o la pequeña premisa que debe extraerse de la conclusión para probar la verdad de la conclusión. Tales como: "La ciencia es útil, la lógica es ciencia, porque su contenido ha demostrado ser verdad mediante la práctica, por lo que la lógica es útil". La pequeña premisa "La lógica es ciencia" es una conclusión de la omisión del silogismo, y " Se ha demostrado que el contenido de la lógica es verdad mediante la práctica "es la pequeña premisa que debe extraerse de esta conclusión.

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

TRADUCCIÓN DE 带证式

Conoce la traducción de 带证式 a 25 idiomas con nuestro traductor multilingüe.

Las traducciones de 带证式 presentadas en esta sección han sido obtenidas mediante traducción automática estadística a partir del idioma chino.

• chino: 带证式
• Traductor chino - español: Con el tipo de tarjeta
• Traductor chino - inglés: With card type
• Traductor chino - hindi: कार्ड के प्रकार के साथ
• Traductor chino - árabe: مع نوع البطاقة
• Traductor chino - ruso: С типом карты
• Traductor chino - portugués: Com o tipo de cartão
• Traductor chino - bengalí: টাইপ শংসাপত্র দিয়ে
• Traductor chino - francés: Avec le type de carte
• Traductor chino - malayo: Dengan sijil jenis
• Traductor chino - alemán: Mit Speicherkarten-Typ
• Traductor chino - japonés: カードの種類
• Traductor chino - coreano: 카드 유형
• Traductor chino - javanés: Kanthi certificate jinis
• Traductor chino - vietnamita: Với loại thẻ
• Traductor chino - tamil: வகை சான்றிதழுடன்
• Traductor chino - maratí: पुराव्यासह
• Traductor chino - turco: tip belgesi ile
• Traductor chino - italiano: Con tipo di carta
• Traductor chino - polaco: Z typu karty
• Traductor chino - ucraniano: З типом карти
• Traductor chino - rumano: Cu card de tip
• Traductor chino - griego: Με τον τύπο της κάρτας
• Traductor chino - afrikáans: Met tipe kaart
• Traductor chino - sueco: Med korttyp
• Traductor chino - noruego: Med korttype

10 LIBROS DEL CHINO RELACIONADOS CON «带证式»

Descubre el uso de 带证式 en la siguiente selección bibliográfica. Libros relacionados con 带证式 y pequeños extractos de los mismos para contextualizar su uso en la literatura.

法律逻辑学 - 第 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