判断题 “今年可能发生水灾”是一个模态判断。

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

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