一阶逻辑公式和赋值,等值式和范式,推理的一部分
发布人