短语词组短语if first -order logic if一阶逻辑first -order modal logic 翻译;一阶模态逻辑typed first -order logic 一阶classic first -order logic 经典一阶逻辑fuzzy first -order logic 模糊一阶逻辑the first -order logic 一阶谓词 返回 first-order logic