填空题 二难推理的简单构成式使用了充分条件假言推理的（），其结论是一个（）判断。

填空题 在一个负判断中，肢判断真，则负判断（）；肢判断假，则负判断（）。

问答题 一个有效的三段论的大前提是特称否定判断，请写出该三段论的推理形式，并说明推导过程。