概念(concept)是人腦對客觀事物的本質特徵的認識,根據概念反應事物屬性的數量及其相互關係,可分為合取概念和析取概念。合取概念是最普通的概念,如鳥類、水果、動物等都屬於這種概念。
基本介紹
- 中文名:合取概念
- 外文名:conjunctive concept
概念(concept)是人腦對客觀事物的本質特徵的認識,根據概念反應事物屬性的數量及其相互關係,可分為合取概念和析取概念。合取概念是最普通的概念,如鳥類、水果、動物等都屬於這種概念。
概念(concept)是人腦對客觀事物的本質特徵的認識,根據概念反應事物屬性的數量及其相互關係,可分為合取概念和析取概念。合取概念是最普通的概念,如鳥類、水果、動物等都屬於這種概念。合取概念(conjunctive co...
合取是5個基本命題聯結詞之一 ,用符號∧表示 。符號∧讀作“並且”,是自然語言中的聯結詞“並且”的抽象 。令 p、q 表示任意命題 ,公式 p∧q 表示 p 和 q 的合取 ,稱為合取式 ,讀作“p 並且q”。p∧q是複合命題的“ p 並且q”的抽象 ,也是複合命題“ p 並且q”的命題形式 。p∧q 的真假由...
關係概念是根據概念反映事物屬性的數量及其它們的相互關係劃分出來的一種概念類型,按照這種分類方式,概念可分為合取概念、析取概念和關係概念,關係概念由此得以定義。定義 概念是人腦對現實的對象和現象的一般特徵和本質特徵的反映,是思維活動的最基本單位。關係概念是根據事物之間的相互關係形成的概念。分類 根據概念...
規則是要求某個實例必須同時具備所有一些屬性(稱為“合取”),也即某種物體只有在同時具有這幾種屬性時才能稱為水。根據這一規定,概念結構可表述為如下公式:C = R(x, y),式中,C代表一個概念;x,y等是這個概念的屬性;R是把這些屬性聯繫起來的規則。因此,“水”這個概念的結構可表示為:水=合取(無...
合取[詞]合取[詞]是1993年全國科學技術名詞審定委員會公布的數學名詞。出處 《數學名詞》第一版。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。
合取的構成原則 合取的構成原則是命題演算的定理。可用符號“p→q→(p∧q)”表示。意為:如果p是真的,那么又如果q是真的,就可得到p並且q是真的。亦即從p和q可以得到p∧q
合取式( conJunction)是用合取真值聯結詞“∧”將兩個或兩個以上的命題聯結起來而形成的命題形式。合取聯結詞“並且”用符號“∧”來表示(“∧”讀為合取),構成合取式的支命題,稱做合取項。合取式一般表示為“p∧q”,大致相當於p並且q”這一聯言判斷。合取式表示每個合取項都是直的合取式的真假完全取決...
合取結合律 合取結合律( associative law of conjunction)命題演算的定理。可用符號“p∧(q∧r)→(pAq)Ar\“(pAq)Ar→p∧(q∧r)”表示。意為:當把三個命題變項p、q、r用合取A聯合起來,通過不同的聯結方式所得的不同公式,其真值是相同的。
這一規則意為:若Γ可以推出A與B的合取式A∧B,則Γ可以推出A,Γ也可以推出B。這一規則又可用如下的圖式來表示:也可以表述為如下的圖式:例如:公民、法人的合法的民事權益受法律保護,公民的合法的民事權益營法律僳護。相關概念 謂詞邏輯的自然推理系統 直覺主義謂詞邏輯的自然推理系統是由根岑於1934年建構的...
合取範式(conjunctive normal form),是命題公式的一種標準形。一個命題公式的合取範式可以通過真值表得到,也可以通過等價變換得到。合取範式主要用於解決命題公式的邏輯判斷,一個命題的合取範式不是唯一的。相關內容 一個命題公式的合取範式可以通過真值表得到,也可以通過等價變換得到。命題公式還有另一種範式,析取...
合取引入規則(introduction rule of conjunction)是推理規則的一種,如果前提p為真,q為真,則得結論p與q為真,即p∧q為真,由此可得推理規則,這個推理規則稱為合取引入規則。基本介紹 合取引入規則是某些自然推理系統中的推理規則之一。簡記為∧Ⅰ。可表述為兩種形式:(1)若Γ├A且Δ├B,則Γ∪Δ├A∧B;(...
合取查詢是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 由基本查詢項和命題連線詞的合取構成的查詢。可看成是受限的一階謂詞邏輯查詢,關係資料庫中的大部分查詢均可用合取查詢描述。出處 《計算機科學技術名詞 》第三版。公布時間 2018年,經全國科學技術名詞...
一般來說產生合取謬誤的機率判斷是錯誤的,但錯誤的合取事件的機率判斷是否就一定是謬誤?Tversky 和 Kahneman (1983)認為錯誤的判斷可以稱為謬誤需要符合一定的標準:一是這種錯誤的判斷具有一致性和穩定性;二是這種錯誤是觀念上的而非字面上或技能上的; 三是判斷者應該已知正確答案或者可以採取一定的方法獲得正確的...
定義 合取否定詞 [1]合取否定詞(negation of )結詞.是謝佛(Sheffer,H. M. )佛豎時同時定義的另一種聯結詞.以“專”記之,其定義如右表.p專q表示“非p且非叮,即“門p八門gq,也就是 P,q同假.由單獨一個析取否定詞組成的聯結詞集{專}是完備的聯結詞集. ...
聯言命題又稱為合取命題,是反映事物的若干種情況或者性質同時存在的命題。在邏輯結構上,聯言命題由邏輯聯結詞“並且”連線支命題而成。其支命題稱為聯言支,通常用p、q表示。聯言命題的邏輯形式可以寫成:p並且q,符號為:p∧q(“p並且q”)。∧稱為合取詞。定義 聯言命題是反映事物的若干種情況或者性質同...
概念介紹 命題代數(propositional algebra)一種特殊的布爾代數。設W是某一語言中所有命題構成的集合,且設T與F分別為真、假命題,∨,∧,分別為命題的析取,合取,否定聯結詞,則布爾代數〈W,∨,∧,,T,F〉就是命題代數。命題的集合P,對命題聯接詞⇁,∨,∧構成的代數結構.就是(P,⇁,∨,...
概念 初等積(elementary product)亦稱積範式或單項式。一種特殊的布爾表達式。它由有限個布爾變元或變元的補之積所構成。可寫成 的形式,其中 或為x或為x',而T為某有限指標集。在命題代數中,初等積又稱為小項或簡單合取。例如x,x'y,x·y'·z‘均為初等積。初等積是命題代數中簡單合取概念的推廣。在...
或為x或為x',而T為某有限指標集。在命題代數中,初等積又稱為小項或簡單合取。例如x,x'y,x·y'·z‘均為初等積。初等積是命題代數中簡單合取概念的推廣。在初等積中,如至少有一個變元及其補同時出現,則此初等積恆等於0。合取範式 (conjunctive normal form)合取範式亦稱和積範式或多因式。一種特殊的...
有且只有一個肯定文字的霍恩子句叫做明確子句,沒有任何肯定文字的霍恩子句叫做目標子句。霍恩子句的合取是合取範式,也叫做霍恩公式。霍恩子句在邏輯編程中扮演基本角色並且在構造性邏輯中很重要。例子 下面是一個霍恩子句的例子:它可以被等價地寫為:霍恩子句對定理證明的實用性是一階歸結提供的,兩個霍恩子句的歸結...
析取概念(disjunctive concept)一譯“選言概念”。概念的一種類型。與“合取概念”相對。按析取規則構成的概念。包含的事物可同時具備兩個要求的屬性,也可只涉及其中之。在這種概念的屬性之間,起作用的規則是“和”與“或”的規則。如在一項運用各種有色形狀作刺激物的概念形成實驗中,一個析取概念是“紅的或...
例如,由命題“二加三等於五”和“蘇格拉底是人”可以構造出新命題“二加三等於五並且蘇格拉底是人”,在這裡,“並且”是聯結詞,又例如,由命題“蘇格拉底是人”可以構造出它的否命題“蘇格拉底不是人”,在這個否命題中,“不”是聯結詞,最重要的聯結詞有否定“非”,合取“且”,析取“或”,蘊含“如果…...
﹒劉玉新, & 陳英和. (1997). 國小兒童合取概念的形成及其與元認知的關係. 心理科學, (1), 52-55.﹒陳英和, & 劉玉新. (1996). 小學生形成合取概念的策略訓練及其遷移效果. 心理學報, (4), 367-374.﹒陳英和. (1996). 兒童社會認知的早期表現. 北京師範大學學報: 社會科學版, (4), 102-108.﹒...
由於“以及”一詞的重複使用,這似乎是一個邏輯合取。然而形式邏輯中的合取概念卻不能表達出“等等”一詞的含義。因此將該命題改述為 對任意自然數 n,都存在 2·n = n + n。這便是一個使用全稱量化的單一命題。請注意,事實上該命題比原命題更精確。很明顯,“等等”一詞表示的是要包括所有的自然數、且...
代數的和序理論的觀點通常可以交替的使用,並且二者都是有重要用處的,可從泛代數和序理論引入結果和概念。在很多實際例子中次序關係、合取(邏輯與)、析取(邏輯或)和否定(邏輯非)都是自然的可獲得的,所以可直接利用這種聯繫。對偶原理 你還可以把來自序理論的對偶性的普遍認識套用於布爾代數。特別是,所有的布爾...
意義關係亦稱“涵義關係”。語言內部的關係系統。即一個詞與辭彙表中其他詞所形成的關係。在相應辭彙的系統中,詞與詞之間的意義關係有同義關係、下義關係、反義關係的聚合關係和搭配的組合關係。此外,也有藉助邏輯方法,套用“否定”、“蘊涵”、“析取”、“合取”等概念分析語句的語義結構關係或語詞的義素結構關係...
析取是邏輯和數學概念中的一個二元邏輯算符。其運算方法是:如果其兩個變數中有一個真值為“真”,其結果為“真”,兩個變數同時為假,其結果為“假”。析取在數據挖掘和資料庫等很多領域都有廣泛套用。合取 基本符號:∧∧ 英文名:logicalconjunction 中文名:邏輯與,合取,交集,按位與,邏輯乘,與門,…...
同合取範式(CNF)一樣,在 DNF 中的命題運算元是與、或和非。非運算元只能用做文字的一部分,這意味著它只能領先於命題變數。基本內容 本節給出含n個命題變項的公式的兩種規範表示方法。要求: 了解簡單析取式、簡單合取式、析取範式、合取範式的概念 深刻理解極小項、極大項的定義,名稱、下角標與成真(假)...