选择以下哪种方法可以使用一阶逻辑。