短語詞組短語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