全称量词引入规则