帶證推理法亦稱“帶證式三段論法”。它的前提中至少有一個是由省略三段論證明的結論。由於前提本身帶有證明的論據，所以稱為帶證式複雜推理。帶證推理有兩種形式：簡單帶證式和複雜帶證式。簡單帶證式是在兩個前提中有一個前提帶有證明性的理由。
基本介紹
- 中文名：帶證推理法
- 所屬學科：科學技術方法術語
例如：“犯瀆職罪的處五年以下有期徒刑;某甲是犯瀆職罪的，因為某甲利用職務之便，把重要的國家機密泄露給不法分子;所以，某甲被判處五年以下有期徒刑”。複雜帶證式是兩個前提均帶有證明性的理由。例如：“真理是不怕批評的，因為真理是客觀規律的正確反映;達爾文的進化論是真理，因為它是物種產生、發展規律的正確反映;所以，達爾文的進化論是不怕批評的。”運用帶證推理在表達思想、論證時有更大的說服力。
