短語(yǔ)詞組短語(yǔ)if first -order logic if一階邏輯first -order modal logic 翻譯;一階模態(tài)邏輯typed first -order logic 一階classic first -order logic 經(jīng)典一階邏輯fuzzy first -order logic 模糊一階邏輯the first -order logic 一階謂詞 返回 first-order logic