（定义）逻辑学是撇开思维的具体内容来研究思维的逻辑形式的。

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

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

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

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

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

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