短语词组短語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