判断题 针对“逻辑非”的电路图，不遵循逻辑算子“否定”的规则。

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

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