带证式
dài zhèng shì
基本释义
  1. 指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。
英文翻译
  1. Syndrome type