判断题 逻辑蕴涵思想为真值函项论证有效提供了理由。

判断题 标志词“那么”后面的命题被称为结论。

判断题 否定论证又被称为负命题。