第六讲 “有的投票人赞成所有的候选人”——量化命题及其推理