Meaning of "带证式" in the Chinese dictionary

PRONUNCIATION OF 带证式 IN CHINESE

带	证	式
dài	zhèng	shì

WHAT DOES 带证式 MEAN IN CHINESE?

Definition of 带证式 in the Chinese dictionary

Proof-of-proof refers to the syllogism, at least one of which is premised on the omission of the conclusion of the syllogism, with the premise or the small premise to be drawn from the conclusion to prove the truth of the conclusion. Such as: "Science is useful, logic is science, because its content has proven to be truth by practice, so logic is useful." The small premise "Logic is science" is a conclusion of the omission of Syllogism, and " The content of logic has been proved to be truth by practice "is the small premise to be drawn from this conclusion.

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

TRANSLATION OF 带证式

Find out the translation of 带证式 to 25 languages with our Chinese multilingual translator.

The translations of 带证式 from Chinese to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «带证式» in Chinese.

• Chinese: 带证式
• Translator Chinese - Spanish: Con el tipo de tarjeta
• Translator Chinese - English: With card type
• Translator Chinese - Hindi: कार्ड के प्रकार के साथ
• Translator Chinese - Arabic: مع نوع البطاقة
• Translator Chinese - Russian: С типом карты
• Translator Chinese - Portuguese: Com o tipo de cartão
• Translator Chinese - Bengali: টাইপ শংসাপত্র দিয়ে
• Translator Chinese - French: Avec le type de carte
• Translator Chinese - Malay: Dengan sijil jenis
• Translator Chinese - German: Mit Speicherkarten-Typ
• Translator Chinese - Japanese: カードの種類
• Translator Chinese - Korean: 카드 유형
• Translator Chinese - Javanese: Kanthi certificate jinis
• Translator Chinese - Vietnamese: Với loại thẻ
• Translator Chinese - Tamil: வகை சான்றிதழுடன்
• Translator Chinese - Marathi: पुराव्यासह
• Translator Chinese - Turkish: tip belgesi ile
• Translator Chinese - Italian: Con tipo di carta
• Translator Chinese - Polish: Z typu karty
• Translator Chinese - Ukrainian: З типом карти
• Translator Chinese - Romanian: Cu card de tip
• Translator Chinese - Greek: Με τον τύπο της κάρτας
• Translator Chinese - Afrikaans: Met tipe kaart
• Translator Chinese - Swedish: Med korttyp
• Translator Chinese - Norwegian: Med korttype

10 CHINESE BOOKS RELATING TO «带证式»

Discover the use of 带证式 in the following bibliographical selection. Books relating to 带证式 and brief extracts from same to provide context of its use in Chinese literature.

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