謂詞交 的英文怎麼說
中文拼音 [wèicíjiāo]
謂詞交
英文
predicate intersection model-
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討Preliminary study on the appellation in social intercourse among yuanwen votive writings found in dunhuang manuscripts
敦煌願文社會交際稱謂詞初探In the paper, the two terms - " foreign bride " and " recent migrant women " are intermingled in usage to uncover the underlining ideology on one side, and to explore the possibility of empowerment on the other side
本文中所謂的新移民婦女,即是指外籍新娘,在文中新移民婦女與外籍新娘兩個名詞會視文章的脈絡而交錯使用,一方面突顯外籍新娘這個通俗稱謂背後之意識型態的問題,另一方面則又探討外籍新娘正名為新移民婦女之賦權意涵。It is shown that the possibility / impossibility of causative / unaccusative alternations of these predicates is determined by the lexical semantics of the predicates, and different licensing features of the relevant lexical properties
結果顯示,這些謂詞所體現的使動與非賓格?法交替之可能性與非可能性,取決于謂詞本身的辭匯語義特徵,以及相關的辭匯屬性的?同認可條件。分享友人