由一个假言判断为前提，直接推出结论的推理叫假言直接推理。

“民法”概括为“法律”是正确的。

判断题“民法”概括为“法律”是正确的。

全称肯定判断（A）与全称否定判断（Ｅ）之间的对当关系是反对关系。

判断题全称肯定判断（A）与全称否定判断（Ｅ）之间的对当关系是反对关系。

“允许一部分人先富起来”不是一个模态判断。

判断题“允许一部分人先富起来”不是一个模态判断。