假言判断是断定事物虚假情况的判断。

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

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

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

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

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

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