一阶逻辑公式及解释