等值聯結指有兩張基本表R，S，R中有A，B，C屬性；S中有A，B屬性，從關係R與S的笛卡爾積中選取A，B屬性值相等的元素。
基本介紹
- 中文名：等值聯結
- 屬性：數學中常用的運算方式
等值聯結
相關詞條
- 等值聯結
等值聯結指有兩張基本表R，S，R中有A，B，C屬性；S中有A，B屬性，從關係R與S的笛卡爾積中選取A，B屬性值相等的元素。...
- 等值式
⇔不是聯結符，它是用來說明A與B等值（A↔B為重言式）的一種記法，因而⇔是元語言符號 基本的等值式 雙重否定律：┐┐A⇔A 冪等律：A∧A⇔A A∨A⇔A 交換律：A∨B⇔B∨A A∧B⇔B∧A 結合律：（A∧B）∧C⇔A∧（B∧C）（A∨B）∨C⇔A∨（B∨C）分配律：A∨（B∧C）⇔...
- 等值命題
從圖1中表一至表四中的與可以看出，充分條件假言命題轉換為等值的相容選言命題的規律是：變換充分條件假言命題前件的質(p變為 ，或 變為p)和聯結項(變為V)，後件不變。轉換的方法步驟是：將否定後的前件作相容選言命題的前一選言肢，將不變的後件作相容選言命題的後一選言肢(例見圖1中表一至表四中的A與...
- 真值聯結詞
由於數理邏輯只從真假關係方面來考察複合命題和支命題之間的關係，這樣抽象處理的結果而獲得的命題邏輯聯結詞即為真值聯結詞。數理邏輯中經常用到的五個基本的真值聯結詞是：蘊涵(如果···那么···)，合取(並且···)，析取(···或···)，等值(···當且僅···)和否定(並非···)。它們分別用“...
- 機率聯結
機率聯結是賴辛巴赫用語。指直接命題和間接命題之間的相互機率蘊含。他提出這個概念是為了批駁一些邏輯實證主義者主張的間接證實方法，即認為可以通過把間接命題還原為直接命題，而對間接命題進行證實，因為一個間接命題和一類直接命題之間存在著邏輯等值關係。他則認為一個間接命題和一類直接命題之間並不存在邏輯等值的關係，...
- 命題公式
命題公式(propositional formula)亦稱合式公式，是數理邏輯術語，它是按照一定規律形成的符號序列，在命題演算中，公式通常用歸納定義給出，例如，在一個具有五個聯結詞ᒣ，∨，∧，→，≡的系統中，合式公式定義如下：1.命題變元和命題常元是公式；2.如果α是公式，則ᒣα也是公式；3.如果α，β是公式，則α...
- 合舍
合舍（ joint denial）真值聯結詞。用“↓”表示。由沙弗（H.M. Sheffer，1883--）在1913年所引|進。“A↓B”表示A和B同假。它相當於漢語中“既非A又非B”，用“ㄱ”“∧”可以表示成ㄱA∧ㄱB。其真值表為:通過它可定義否定、合取、析取、蘊涵和等值等五個聯結詞。如ㄱA定義為:A↓A，AVB定義...
- 複合命題
表達充分必要條件假言命題的聯結詞有："只要而且只有……，才……"、"若……則……，且若不……則不……"、"若且唯若……，則……"等等。我們一般將之表示為如下形式：若且唯若p，則q 邏輯上則表示為：p?q（讀作"p等值於q")P是Q的充分必要條件是指：有P必有Q，無P必無Q（因而有Q必有P，無Q必...
- 析取範式
在離散數學中，僅由有限個文字構成的合取式稱為簡單合取式，而由有限個簡單合取式構成的析取式稱為析取範式。範式存在定理說明了它的存在性：任一命題公式都存在著與之等值的析取範式與合取範式。但它並不是惟一的。主析取範式是惟一的。簡單析取式 析取 析取是最常用的邏輯聯結詞之一，表示“或”的意思。析取是...
- 變壓器繞組
繞組在受到過電壓作用時，由於衝擊波的波形陡，等值頻率甚高，所以衝擊電流開始主要從電容通路流過，而不從電感通路流過。由於繞組對地各點的電容分布關係，所以通過繞組的衝擊電流從頭到尾分布很不均勻，造成電壓梯度相差很大。當變壓器採用圓筒式繞組時，沿整個繞組的衝擊電壓分布雖然比連續式繞組好，但往往是第一層...
- 離散數學(第2版)(2015年高等教育出版社出版的圖書)
第1部分數理邏輯：主要包括命題邏輯的基本概念、命題邏輯等值演算、命題邏輯的推理理論、一階邏輯基本概念、一階邏輯等值演算與推理。第2部分集合論：主要包括集合代數、二元關係、函式。第3部分代數結構：主要包括代數系統、群與環、格與布爾代數。第4部分組合數學：主要包括基本的組合計數公式、遞推方程與生成函式 第5...
