判断题 如果一个相容选言命题为假，那么它的选言支至少有一个为假。

判断题 如果一个联言命题为假，那么它的联言支至少有一个为假。

判断题 如果一个联言命题为假，那么它的所有联言支必然都为假。