真值模态命题有确定的逻辑值。

真值模态命题和规范模态命题都有确定的逻辑值。

判断题真值模态命题和规范模态命题都有确定的逻辑值。

如果一个必要条件假言命题为假，那么它的前件真而后件假。

判断题如果一个必要条件假言命题为假，那么它的前件真而后件假。

如果一个充分条件假言命题为假，那么它的前件真而后件假。

判断题如果一个充分条件假言命题为假，那么它的前件真而后件假。