与量词的引入和消去有关的规则，分别是全称量词引入规则（简记为+或UG）、全称量词消去规则（简记为-、UI或US）、存在量词引入规则（简记为+或EG）、存在量词消去规则（简记为-、EI或ES）。

量词引入也称为量词泛化，量词消去也称为量词实例化或指定。这4条与量词有关的引入和消去规则极大地丰富了一阶谓词逻辑推理的表达能力。