邏輯等值（logically equivalent）是1993年公布的數學名詞。
基本介紹
- 中文名：邏輯等值
- 外文名：logically equivalent
- 所屬學科：數學
- 公布時間：1993年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
邏輯等值
相關詞條
- 邏輯等值
邏輯等值（logically equivalent）是1993年公布的數學名詞。公布時間1993年經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 等值推理
如果p，則q”而必然推出“非p或者q”。這就是等值推理。等值推理是一種有效推理，而且是一種前提與結論可逆的推理，即既可由其前提推出結論，也可由其結論（作為另一推理的前提）而推出其前提（作為另一推理的結論）。
- 等值
B為重言式，因而AB若且唯若在各賦值之下，A與B的真值相同，因而判斷A與B是否等值等價於判斷A、B的真值表是否相同。重要等值式 用真值表法驗證許多等值式，其中有些是很重要的，它們是通常所說的布爾代數邏輯代數的重要組成部分。24...
- 等值命題
一個複合命題(兩個變元)，在形式上總是與一些複合命題相等值。複合命題之間的等值命題轉換，是根據各種複合命題的邏輯特性進行的，通過變換聯結項和肢命題的質，從而轉換成與之等值的命題。等值轉換 與相容命題 一個充分條件假言命題，...
- 邏輯代數(用於描述客觀事物邏輯關係的數學方法)
1和0分別解釋為特定的邏輯上真的命題和邏輯上假的命題，或稱有效命題和矛盾命題；=表示兩命題邏輯上等值。這時，填、∨和∧作為命題運算正好滿足形式上與類代數的基本定律相對應的定律，而整個命題代數可包括命題邏輯的全部內容。命題代數...
- 邏輯學語言
由規則丁形成的表達式分別叫做 a 和 b 的合取式、析取式、蘊涵式和等值式。由規則戊形成的表達式 " x a 和 $ x a 分別叫做 a 的全稱式和存在式。總之，在邏輯學中，形式語言最核心的思想是把自然語言描述的語句抽象化、符號化...
- 邏輯學的語言:看穿本質、明辨是非的邏輯思維指南
第9章 論證有效性：現代邏輯語的根本語法 225 9.1 重言式與論證有效性：翻譯與計算 226 9.2 常用的命題邏輯有效推理形式：聽懂現代邏輯的行話 234 9.3 常用的命題邏輯等值推理形式：更多現代邏輯的行話 239 9.4 形式證明：...
- “科學邏輯”叢書--科學分析--邏輯與科學演繹方法
本書共分為十章，內容包括概念分析、邏輯定義、直言推理、三段論、複合推理、等值推理、混合推理、模態推理、關係推理、分析推理，並附錄了科學分析測試，具有科學性、系統性、實用性的特點。本書適合作為高等院校邏輯學、科學邏輯與科學思維...
- 邏輯的力量(第3版)
第7章 命題邏輯：真值表 7.1 日常論證的符號化 7.2 真值表 7.3 用真值表評價論證 7.4 簡化真值表 7.5 重言式、矛盾式、協調式和邏輯等值式 第8章 命題邏輯：證明 8.1 蘊涵推理規則 8.2 五個等值規則 8.3 五個...
- 邏輯基礎(修訂版)
第二章 命題邏輯 2．1 命題聯結詞的句法 2．2 命題聯結詞的語義 2．3 括弧與主聯結詞 2．4 重言式與有效性 2．5 真值表法 2．6 簡化真值表法 2．7 真值樹法 2．8 命題推理的證明規則 2．9 等值規則 2．10 條件證明...
- 邏輯表示
⑤邏輯詞：包括5個命題連線詞和2個量詞符號。命題連線詞是（非），∧（與），∨（或），→（蘊涵，即如果…則…），（等值），用來將原子公式連線成分子公式，即複合命題形式。如上述的公式⑥代表一個複合命題，它由兩個原子命題()...
- 邏輯學是什麼(第3版)(哲學課)
第7章 命題邏輯：真值表 7.1 日常論證的符號化 7.2 真值表 7.3 用真值表評價論證 7.4 簡化真值表 7.5 重言式、矛盾式、協調式和邏輯等值式 第8章 命題邏輯：證明 8.1 蘊涵推理規則 8.2 五個...
- 德·摩根定律
該概念可以推廣到邏輯量詞上，例如全稱量詞和存在量詞互為對偶： ,“對所有x，P（x）皆成立”等價於“不存在x，使P（x）不成立”； .“存在x，使P（x）成立”等價於“並非對所有x，P（x）都不成立”。為對德·摩根定律敘述...
- 離散數學(第3版)(2014年鄧輝文編寫、清華大學出版社出版的圖書)_百度...
1.2.2映射的性質8 3.4.1邏輯等值的定義90 6.4.2迴路176 1.2.3逆映射9 3.4.2基本等值式91 習題6.4176 1.2.4複合映射10 3.4.3等值演算法93 6.5圖的連通性177 習題1.212 3.4.4對偶原理94 6.5.1無向圖的連通性177 1.3運算的定義...
- 逆否命題
邏輯學認為命題與逆否命題是等價的，也就是命題真，則逆否命題也真。命題同它的逆否命題等價是作為公理存在的，你既不能證明它正確也不能證明它錯誤。其實這個東西可以認為是公理。它和公理“矛盾律”是等價的。 我們數學的體系就是...
- 關係運運算元
邏輯等價 雖然一開始可能不那么顯而易見，像布爾邏輯運算符 XOR，AND，OR 和 NOT，這些關係運運算元可以設計為具有邏輯等同性，使得它們都可以相互定義。對於任何給定的 x 和 y 值，以下四個條件語句都有相同的邏輯等價性 E（全為真或...
- 離散數學(2022年清華大學出版社出版的圖書)
5.3謂詞公式的邏輯等值154 5.3.1謂詞公式邏輯等值的定義154 5.3.2謂詞公式基本的邏輯等值式155 習題5.3158 5.4謂詞公式的前束範式158 5.4.1謂詞公式前束範式的定義158 5.4.2謂詞公式前束範式的計算159 ...
- 主析取範式
主析取範式是大學數學裡一門名叫離散數學（Discrete mathematics）的課程中的內容，在離散數學的數理邏輯一節中，利用真值表和等值演算法可以化簡或推證一些命題，但是當命題的變元的數目較多時，上述方法都顯得不方便，所以需要給出把命題...
- 數學證明
數學證明建立在邏輯之上，但通常會包含自然語言，因此可能會產生一些模稜兩可的部分。實際上，若證明的大部分內容用文字形式的數學寫成，可以視為非形式邏輯的套用。在證明論的範疇內，只考慮用純形式化的語言寫出的證明。這個區別導致了對...
- 命題演算
(5)～：等值詞，A～B讀為“A等值於B”，或“A和B等值”，若且唯若命題A和B同時是真命題或同時是假命題時，A～B才是真命題。合式公式 能成為命題的式子稱為合式公式，簡記為wff。定義1 (1)一個命題變元是wff。(2)若P是...
- 離散數學習題解答(第4版)
自測題2參考答案42第3章命題邏輯44 3.1命題的有關概念44 習題3.1及參考答案44 3.2邏輯聯結詞45 習題3.2及參考答案45 3.3命題公式及其真值表46 習題3.3及參考答案46 3.4邏輯等值的命題公式50 習題3.4及參考答案50 3.5命題...
- 《離散數學》習題解答
自測題2參考答案42第3章命題邏輯44 3.1命題的有關概念44 習題3.1及參考答案44 3.2邏輯聯結詞45 習題3.2及參考答案45 3.3命題公式及其真值表46 習題3.3及參考答案46 3.4邏輯等值的命題公式50 習題3.4及參考答案50 3.5命題...
- 離散數學基礎(2021年清華大學出版社出版的圖書)
2.4.1 命題邏輯公式的邏輯等值 40 2.4.2 基本邏輯等值式 41 2.4.3 命題邏輯公式的範式 44 2.5 命題邏輯的推理理論 48 2.5.1 推理的有效性 49 2.5.2 命題邏輯的自然推理系統 50 2.5.3 構造驗證推理有效...
- 命題公式
的任何一組賦值，A的真值和B的真值都相同，則稱公式A等值於公式B(或A與B等值)，記作A B。因此，要判斷兩個公式是否等值，根據定義，只需將兩個公式的真值表列出，判斷兩個真值表是否相同即可。對一個命題公式A，如果用公式B取代...
- 離散數學(2021年科學出版社出版的圖書)
第2章 謂詞邏輯 2．1 謂詞邏輯的基本概念 2．1．1 個體詞與謂詞 2．1．2 量詞 2．2 謂詞公式及其解釋 2．2．1 謂詞公式 2．2．2 謂詞公式的解釋 2．3 謂詞邏輯等值式與範式 2．3．1 謂詞邏輯等值式 2．3．2 前束範式...
- 離散數學(第4版)(2022年清華大學出版社出版的圖書)
第2章命題邏輯22 2.1命題邏輯基本概念22 2.1.1命題與聯結詞22 2.1.2命題公式及其分類28 2.2命題邏輯等值演算33 2.2.1等值式與等值演算33 2.2.2聯結詞完備集37 2.3範式39 2.3.1析取範式與合取範式39 2.3.2主析取範式...
- 離散數學及其套用(2020年西安電子科技大學出版社出版的圖書)
2.2.1 一階邏輯合式公式 50 2.2.2 自由變元與約束變元 51 2.2.3 一階邏輯公式的解釋 52 2.3 一階邏輯等值演算 54 2.3.1 一階邏輯等值式 54 2.3.2 一階邏輯等值演算 55...
- 高等學校規劃教材:離散數學
第1篇 數理邏輯 第1章 命題邏輯基本概念 1.1 命題與命題聯結詞 1.2 命題公式及其真值表 1.3 命題邏輯等值演算 1.4 主析取範式與主合取範式 1.5 聯結詞的完備集 第2章 命題邏輯的推理理論 2.1 命題邏輯的推理演算 2...
