邏輯蘊涵（logical implication）2008年公布的信息科學技術名詞。
基本介紹
- 中文名：邏輯蘊涵
- 外文名：logical implication
- 所屬學科：信息科學技術
- 公布時間：2008年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
邏輯蘊涵
相關詞條
- 邏輯蘊涵
邏輯蘊涵（logical implication）2008年公布的信息科學技術名詞。公布時間2008年，經全國科學技術名詞審定委員會審定發布。出處《海峽兩岸信息科學技術名詞》。1...
- 蘊涵
1.[contain;accumulate] 包含。也稱為“蘊含”。 2.邏輯名詞。判斷前後兩個命題互為條件關係的叫"蘊涵"。表現形式是"如果……則……"（符號：“→“）。基本解釋：1. 包含。也作“蘊含”。詞語分開解釋：蘊 : 蘊（蘊） yùn ...
- 蘊涵命題演算
在數理邏輯中，蘊涵命題演算是只使用叫做蘊涵或條件的一個連結詞的經典(二值)命題演算。用公式表達，這個二元運算被指示為“implies” “如果 ..., 則 ...”, “→”, 等等。作為運算元的實質完備性 單獨的蘊涵作為邏輯運算元不是完備...
- 蘊涵符號
蘊涵符號是邏輯學符號之一，它表示蘊涵關係的符號。也就是表示“如果……那么……”的符號.最先用符號表示這一意義的是法國數學家熱爾崗(Gergonne ; J. - D. )，他用“C”表示“包含於”，其中也部分含有邏輯蘊涵的意思.美國數學...
- 蘊涵命題
從邏輯角度看，句義就是一組撇開語言形式的邏輯命題，蘊涵命題就是被另一命題所蘊涵的命題。如“我看到一支鉛筆”蘊涵著“我看到一樣東西”，因此“我看到一樣東西”是“我看到一支鉛筆”的蘊涵命題，表達了“我看到一支鉛筆”的部分...
- 蘊涵怪論
蘊涵怪論亦稱“蘊涵悖論”。現代形式邏輯用語。指一類與人們的直觀不相符合的含有蘊涵符號的邏輯定理。對於這些用形式語言表示的邏輯定理，當人們對其作出解釋，並把其中的蘊涵符號解讀為條件句中反映充分條件關係的聯結詞“如果……，那么…...
- 亞里士多德邏輯
傳統（“形式”）邏輯蘊涵了線性思維方式。把“形式”邏輯思維方式看成的思維方式，把“形式”邏輯運用範圍擴大到所有對象，特別是需要複雜性思維的經濟領域，就會出現悖論。對稱邏輯的產生，既是人類思維、理論與實踐發展的必然結果，也是“...
- 邏輯表示
⑤邏輯詞：包括5個命題連線詞和2個量詞符號。命題連線詞是（非），∧（與），∨（或），→（蘊涵，即如果…則…），（等值），用來將原子公式連線成分子公式，即複合命題形式。如上述的公式⑥代表一個複合命題，它由兩個原子命題()...
- 邏輯架構
邏輯架構 經典邏輯標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質；非經典邏輯缺乏一個或多個這種特性，它們是:1:排中律;2:無矛盾律;3:蘊涵的單調性和蘊涵的冪等性;4:合取的交換性;DeMorgan對偶性:...
- 向量邏輯
與：在向量邏輯中，兩個邏輯值的“與” (p∧q) 是由一個套用於兩個向量值的矩陣 表示。此矩陣透過以下算式實現古典邏輯與的真值表： 此矩陣應當滿足 及 或：兩個邏輯值的“或” (p∨q) 由以下矩陣運算： 而且 及 蘊...
- 邏輯符號
邏輯符號是邏輯學中用以表示邏輯形式和邏輯運算的各種人工語言符號。邏輯符號的主要特點和作用在於它能精確地、單義地解釋其所表示的對象，從而可以用來精確、簡明地表示各種邏輯公理、定理和邏輯運算過程。在數理邏輯中，不同體系所採用的...
- 命題邏輯
歸納步驟將有系統的覆蓋所有的進一步的可證明的句子--通過考慮我們能夠使用推理規則達成邏輯結論的每種情況--並展示如果一個新句子是可證明的，它也是在邏輯上被蘊涵的。（例如，我們可能有一個告訴我們從 "A" 可以推導出 "A 或 B"...
- 經典邏輯
Clarence Irving Lewis 的真勢模態邏輯的系統 S1-S5。非經典邏輯 直覺邏輯拒絕排中律和 De Morgan 律；次協調邏輯(比如雙面真理論和相干邏輯)拒絕無矛盾律；相干邏輯、線性邏輯和非單調邏輯拒絕蘊涵的單調性；線性邏輯拒絕蘊涵的冪等性；...
- 邏輯學語言
由規則丁形成的表達式分別叫做 a 和 b 的合取式、析取式、蘊涵式和等值式。由規則戊形成的表達式 " x a 和 $ x a 分別叫做 a 的全稱式和存在式。總之，在邏輯學中，形式語言最核心的思想是把自然語言描述的語句抽象化、符號化...
- 構造邏輯
說明經典邏輯和構造邏輯之間的對照的一個簡單例子，是考慮所謂肯定的蘊涵演算，這個演算只有一個邏輯常項，即蘊涵詞，它有兩個公理和一條推理規則：A1.A→(B→A)；A2.(A→(B→C))→((A→B)→(A→C))；規則E.如果A並且A→...
- 線性邏輯
我們獲得一磅乳酪。線上性邏輯中我們寫為: 牛奶, 牛奶乳酪\Vdash乳酪，使用了不同的連結詞(替代了 ⇒) 和不同的邏輯蘊涵符號。線形邏輯由法國數學家 Jean-Yves Girard 在1987年提出。[編輯]參見 ...
- 智慧之藤:趣味盎然話邏輯
巴依碰壁 ——邏輯蘊涵的真假 “兔子的湯的湯的湯”——關係判斷 磨工賣驢的啟示——選言判斷 “不戰、不和、不守、不死、不降、不走”——選言判斷的負判斷 “得一文，天誅地滅”——同—律之一 唐伯虎獻詩祝壽——同一律之二...
- 邏輯學是什麼(第3版)(哲學課)
第7章 命題邏輯：真值表 7.1 日常論證的符號化 7.2 真值表 7.3 用真值表評價論證 7.4 簡化真值表 7.5 重言式、矛盾式、協調式和邏輯等值式 第8章 命題邏輯：證明 8.1 蘊涵推理規則 8.2 五個...
- 對稱邏輯學
只有對稱邏輯才是科學的思維方式，只有對稱哲學才是科學的哲學，只有對稱經濟學才是科學的經濟學, 只有對稱管理學才是科學的管理學, 只有對稱發展觀才是科學的發展觀。思維方式 傳統的形式邏輯蘊涵了線性思維方式。把“形式”邏輯思維方式...
- 機率邏輯
而卡爾納普( Karnap) 則繼承了這兩個人的思想，他認為，邏輯機率是一種邏輯關係，是有點類似於邏輯蘊涵的那種邏輯關係。卡爾納普的觀點一直廣為流傳，它揭示了機率與語義學之間的關係，表現出機率邏輯的實質。機率邏輯系統在理論與實踐中...
- 假言命題
在現代邏輯中，命題之間的這種真假關係叫做實質蘊涵。在日常語言中，關於“若，則”還有其他含義，如因果聯繫、推論關係等等。定義 所謂假言命題就是陳述某一事物情況是另一件事物情況的條件的命題，假言命題亦稱條件命題。在形式邏輯中，...
- entailment
Textual entailment 文字蘊涵 ; 文本蘊涵 semantic entailment 語義蘊含 lexical entailment 詞義蘊涵 logical entailment 邏輯蘊涵 ; 邏輯上的含蘊 Text Entailment 看作文本蘊含 entailment relation 制約關係 alethic entailment 真勢衍推 prefe...
- logically
reflect logically 有邏輯地表達 coordinate logically 有條理地配合 inflict logically 情理之中地處罰 aim logically 合理地打算 magnify logically 邏輯性擴大 logically implies 邏輯蘊涵 arranged logically 按類排列 雙語例句 My professional...
- 溯因推理
蘊涵 ”的前件推導自結論 ；換句話說，溯因是解釋已知事物的過程。在罕見的場合，使用表達“解釋結論”而不是“解釋”來指名溯因過程的結果。套用於人工智慧中，包括故障診斷、信念修正和自動計畫。基於邏輯的溯因 在邏輯中，溯因法...
