集合与命题相关性质及直接考法