存在例示规则作为一个基本的逻辑规则，存在例示规则要求被引进的示例名称必须是前面出现过的()错误任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代()正确论证有效性证明（二）蕴涵关系只有从()来看才是成立的C•A