推理的形式有效是指运用该推理形式不会出现结论假的情况。

选言判断就是断定若干事物情况同时存在的判断。

判断题选言判断就是断定若干事物情况同时存在的判断。

负判断就是否定某个判断而得到的新的复合判断。

判断题负判断就是否定某个判断而得到的新的复合判断。

并非（如果p，那么q）等于“非p或者q”。

判断题并非（如果p，那么q）等于“非p或者q”。