一阶逻辑公式及其解释