邏輯詞 的英文怎麼說
中文拼音 [luócí]
邏輯詞
英文
logical word-
An adjective is called heterological if it does not have the property it denotes.
一個形容詞,如果它不具有它表示的性質,就稱為逆邏輯的。The simple sentences in news titles have such patterns as subject - predicate structure, modifier - keyword structure, verb - object structure, parataxis structure, structure with consecutive predicates, appositive structure, and single - word structure. subject - predicate structure is the major one in simple sentence. the logical relations between clauses of main titles that are complex sentences, or between shoulder titles and main titles, or between main titles and subtitles are : parataxis, continuity, illustration, causality, transition, progression, purpose, hypothesis, condition, and so on
新聞標題單句一般由主謂、偏正、動賓、並列、連謂、同位、獨詞等結構形式構成,其中主謂結構是新聞標題單句的主要結構形式;新聞標題復句中,主題復句各分句之間、引題與主題之間、主題與副題之間、引題與主題與副題之間存在著並列、順承、解說、因果、遞進、轉折、目的、條件、假設等邏輯關系。Function will reject empty words - the logic is simpler that way, even if a few extra calls to
將拒絕虛詞那樣邏輯會更簡單,即使在那個過程中會有對Philosophy was reduced to playing the role of “ handmaid of theology. ” philosophy was no longer relevant to life ; it became enmeshed in logic and in the process of thinking, as it has during the twentieth century
這時的哲學與生活無關了;這時的哲學與邏輯、詞義和思維過程攪成一團,跟它在二十世紀的表現很相似。Intermixed with any number of boolean logic predicates,
根據cfengine規則,字符集是混雜了任意數目布爾邏輯謂詞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一歸結原理進行了初步探討Histories make men wise ; poems witty ; the mathematics subtle ; natural philosophy deep ; moral grave ; logic and rhetoric able to contend
歷史使人明智;詩詞使人周密;自然哲學使人深刻;論理使人莊重;邏輯修辭學使人聰慧。A " mad fool " would be tautological, while a " mad rump ", meaningless in itself, takes us back to frame 3, where the crazed donkey is seen munching on his own severed haunch, before consuming the rest of himself in frame 4. this is a donkey that alice would not have been surprised to encounter in wonderland
「瘋傻瓜」一詞在邏輯上是重復的,那麼本身並無任何意義的「瘋臀部」則把我們帶到第三欄,那隻瘋驢正在大嚼著從自己身上切下來的帶著一部分臀部的大腿,而在第四欄則把自己身體的其餘部分全吃了。Is it possible that that player shakespeare, a ghost by absence, and in the vesture of buried denmark, a ghost by death, speaking his own words to his own son s name had hamnet shakespeare lived he would have been prince hamlet s twin is it possible, i want to know, or probable that he did not draw or foresee the logical conclusion of those premises : you are the dispossessed son : i am the murdered father : your mother is the guilty queen
身為演員的莎士比亞,由於外出而做了鬼魂,身穿死後做了鬼魂的墓中的丹麥先王的服裝93 ,他可不可能就是在對親生兒子的名字倘若哈姆奈特莎士比亞不曾夭折,他就成為哈姆萊特王子的雙生兄弟了,說著自己的臺詞呢?我倒是想知道,他可不可能,有沒有理由相信:他並不曾從這些前提中得出或並不曾預見到符合邏輯的結論:你是被廢黜的兒子,我是被殺害的父親,你母親就是那有罪的王后, 94娘家姓哈撒韋的安莎士比亞Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息Drs and the formula of first - order predicate logic
與一階謂詞邏輯公式Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊謂詞邏輯公式的有限和可數解釋真度理論Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用Histories make men wise ; poems witty ; the mathematic subtle ; natural philosophy deep ; moral grage ; logic and retoric able to contend
歷史使人明智;詩詞使人靈秀;數學使人周密;自然哲學使人深刻;倫理使人莊重;邏輯修辭學使人善辯。These adjectives describe what contains nothing and inferentially lacks what it could or should have
這些形容詞用於表明無內容或缺乏邏輯上會有或應有的內容。However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing
但是隨著遞歸idb ( intensionaldatabase )謂詞的項的個數增大,經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。Being repaired at that moment, the library can ' t be opened to the students
分詞的獨立結構,在這種形式中,分詞有自己的邏輯主語。這種主語常是名詞或代詞主語。Because we have lived with the girl for 5 years, we all know her very well
三、現在分詞短語在句中可以作條件狀語,其邏輯主語須為句中的主語,該短語相當於一個條件狀語從句。Data processing - vocabulary - arithmetic and logic operations
數據處理.詞匯.第2節:算術和邏輯運算Logic words on natural language processing
自然語言處理中的邏輯詞分享友人