短語詞組短語predicate calculus logic 述詞縯算邏輯predicate e logic language 謂詞邏輯語言predicate functor logic 或謂詞函子邏輯predicate e logic 謂詞邏輯Predicate modal logic 謂詞模態(tài)邏輯third order predicate logic [數]三堦謂詞邏輯IPLIntuitionistic Predicate Logic 直觀的謂詞邏輯的fuzzy predicate logic 模糊謂詞邏輯knowledge predicate logic 知道謂詞邏輯 返回 predicate logic