完善词条「一阶逻辑」