⒈ 指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。
⒈ 支持词语查询，简体、繁体、港台词均可。
例如 “ 带证式 ”、“ 漢語 ” 等；
⒉ 支持词语拼音查询，有无空格和声调均可。
例如 “ dài zhèng shì ”、“ dai zheng shi ” 或 “ daizhengshi ” 等；
⒊ 支持词语简拼(首字母缩写)查询。
例如 “ 带证式 ”，输入 “ dzs ” 或 “ DZS ” 均可；
⒋ 支持单个汉字查询该字的组词。
例如 “ 带 ”、“ 证 ”、“ 式 ” 等；
⒌ 输入汉字拼音以外的字符会自动忽略。