predicate[?predikit]n.謂詞,謂語,謂項(xiàng),述詞 v. 斷言,斷定,判斷 ‖ predicate adjective表語形容詞 predicate calculus謂詞演算 predicate calculus with equality等式的謂詞演算 predicate constant謂詞常項(xiàng) predicate language謂詞語言 predicate logic謂詞邏輯 predicate logic of first order一階謂詞邏輯 predicate logic of higher order高階謂詞邏輯 predicate logic of second order二階謂詞邏輯 predicate logic of third order三階謂詞邏輯 predicate logic with equality帶等詞的謂詞邏輯 predicate noun謂語性名詞 predicate of first order一階謂詞 predicate of n. variable n.變項(xiàng)謂詞 predicate of second order二階謂詞 predicate symbol謂語符號 predicate term謂詞,謂項(xiàng) predicate variable謂詞變元 predicate verb謂語性動詞 predicating word謂語性詞 predicative[pri?dik?tiv]adj.肯定的,斷言的,斷定的,直謂的,謂述的 predicative definition謂述定義,直謂定義 predicative expression謂詞表達(dá)式 predicative function直謂函項(xiàng),謂詞函項(xiàng) predicative set theory斷言集論 predicative syntactic analysis謂語句法分析 |