命题值恒假的命题形式是矛盾式。

真值函数实际上就是复合命题的逻辑特性。

判断题真值函数实际上就是复合命题的逻辑特性。

《鲁迅全集》-《药》之间不具有种属关系。

判断题《鲁迅全集》-《药》之间不具有种属关系。

求证某一个命题为真的方法是为唯一的。

判断题求证某一个命题为真的方法是为唯一的。