判断题 命题“P蕴含Q”表示P合取非Q是可以成立的。

判断题 任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。

判断题 作为一个基本的逻辑规则，存在例示规则要求被引进的示例名称必须是前面出现过的。