填空题 论证中，通过确定与论题具有（）关系的命题不成立，然后根据排中律来确定论题成立的论证方法，叫做反证法。

填空题 假说的推演，就是由假说引伸出推断，亦即使假说和推断组合成一个（）假言命题。

填空题 若根据“所有A是B”和“所有C是B”这样两个前提，得出“所有C是A”这一结论，该三段论就违反了（）的规则。