违反不矛盾律就会犯自相矛盾的逻辑错误。

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

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

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

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

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

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