展开 写出量词的辖域指出该公式的自由变元和约束变元