展开 命题公式的蕴含关系