以必要条件假言判断为大前提的假言推理。规则是：承认后件就要承认前件，否认前件就要否认后件；否认后件不能否认前件，承认前件不能承认后件。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。