一阶谓词逻辑实例分析