disjunctive,英語單詞,主要用作形容詞、名詞,作形容詞時譯為“分隔的;分離的”,作名詞時譯為“反意連線詞”。
基本介紹
- 外文名:disjunctive
- 詞性:形容詞、名詞
- 英式發音:[dɪs'dʒʌŋ(k)tɪv]
- 美式發音:[dɪs'dʒʌŋktɪv]
disjunctive,英語單詞,主要用作形容詞、名詞,作形容詞時譯為“分隔的;分離的”,作名詞時譯為“反意連線詞”。
《Disjunctive Poetics》是1992年出版的圖書,作者是Quartermain, Peter。內容簡介 Disjunctive Poetics examines some of the most interesting and experimental contemporary writers whose work forms a counterpoint to the mainstream writing...
析取概念(disjunctive concept)是指根據不同的標準,結合單個或多個屬性所形成的概念。按析取規則構成的概念。包含的事物可同時具備兩個要求的屬性,也可只涉及其中之一。例如,“好學生”這個概念可以結合各種屬性,如“努力學習、成績好...
選言證法(disjunctive proof)亦稱“選言論證”或“淘汰法”。運用選言推理的否定肯定式進行的論證。它通過確定由包括論題在內的幾種可能情況所組成的選言命題中除論題外的其餘可能都是虛假的,從而確定該論題的真實性。其論證過程是:為了...
析取化歸 析取化歸是一個數學術語。 析取化歸(disjunctive reducibility)亦稱d化歸.m化歸的一種推廣.形式地,對自然數集A,B,若存在遞歸函式f,使得對所有.x,xEA"-Df
假言選言推理(hypothetical disjunctive inference)亦稱“選言假言推理”。是以一個選言判斷和另一些在數目上與選言判斷的選言支相等的假言判斷為前提進行的推理。假言選言推理的特點是:選言判斷指出思維對象的幾種可能性,假言判斷指出採取每...
(3)有限個短語的析取式稱為析取範式(Disjunctive Normal Form);有限個子句的合取式稱為合取範式(ConjunctiveNormal Form)。例 (1)P、┐P是文字、子句、短語、析取範式、合取範式。(2)P∨Q∨┐R是子句、析取範式、合取範式。...
學科:構造地質學 詞目:斷離劈理 英文:disjunctive cleavage 釋文:斷離劈理是與任何早先存在的礦物方位無關的間隔劈理。例如許多板岩、砂屑岩和灰岩中的劈理。根據劈理域的形態劃分為:縫合線狀斷離劈理、交織狀斷離劈理、粗糙狀斷離劈理...
析取概念(disjunctive concept)一譯“選言概念”。概念的一種類型。與“合取概念”相對。按析取規則構成的概念。包含的事物可同時具備兩個要求的屬性,也可只涉及其中之。在這種概念的屬性之間,起作用的規則是“和”與“或”的規則。...
相容選言推理(compatible disjunctive inference)是以相容的選言判斷為大前提構成的推理。它的選言支是可以同真的,所以它沒有肯定否定式,只有一種正確的推理形式即否定 肯定式。例如:某人學習成績好或者是由於客觀條件優越,或者是由於主觀...
定義設A為恰含命題變元p₁,…,pₙ的公式。公式A稱為A的主析(合)取範式(majordisjunctive(conjunctive)normal form),如果A是A的析(合)取範式,並且其每個合(析)取子句中p₁,…,pₙ均恰出現一次。據定義,公式┐...
DNF是計算機學科術語,是布爾邏輯中一種標準範式,一個DNF由若干個Clause的或組成,而每個Clause有若干文字(變元或變元的非)組成。disjunctive normal form (abbr. )是布爾邏輯中一種標準範式,一個DNF由若干個Clause的或組成,而每個...
優析合範式(superior disjunctive normal form) 規範表示的析合範式.指具有特徵的析合範式 特徵 如果某個命題變元在範式中出現,則該變元要在該範式的每一個簡單合取式中都出現..範式中沒有永假的簡單合取式..在該範式中沒有相同的...
syllogism 線性三段論 Thetical syllogism 假設三段論 conviction syllogism 定罪三段論 disjunctive syllogism 選言三段論 uncertainty syllogism 摸態三段論 trial syllogism 審判三段論 extended syllogism 擴充三段論 categories syllogism 範疇三段論 ...
E析取正則半群 E析取正則半群(E-disjunctive regular semi-group)一類較特殊的正則半群.設S是一正則半群,E是S中所有冪等元的集合.若E所確定的主同餘PE=is,則稱S是E析取的.
單詞釋義 同晶性型的 ...同型核的homokaryotic同晶性型的diadochic同型的舊式汽車landau...互代的 ...代詞[語言學]pronoun反身代詞reflexivepronoun;分離代詞disjunctivepronoun;關係代詞rel...互代的diadochic互代性diadochy...
dialogism,英語單詞,主要用作名詞,作名詞時譯為“對話(等於dialogue)”。單詞用法 柯林斯英漢雙解大詞典 dialogism /daɪˈæləˌdʒɪzəm/ 1.N a deduction with one premise and a disjunctive conclusion 前...
Static Analysis in Disjunctive Numerical Domains Static Analysis of Numerical Algorithms Static Analysis of String Manipulations in Critical Embedded C Programs Session 2 Abstract Regular Tree Model Checking of Complex Dynamic Data ...
Unit 14 Disjunctive Sentences 76 Unit 15 Sentence structure 81 Unit 16 Inversion 89 Unit 17 Emphasis 96 第二部分 語法綜合練習 103 Integrated Exercises 1 103 Integrated Exercises 2 110 Integrated Exercises 3 117 Integrated ...