2.3 五個真值函數連接詞及其真值表

2021-02-08 Alkahest

正如我們在上一節討論的,命題邏輯中常見的五個真值函數連接詞分別是「否定」、「合取」、「析取」、「實質蘊涵(條件)」和「實質等值(雙條件)」。相應地,通過這五個真值函數連接詞連接的複合命題就有五種,根據真值函數連接詞的定義,這五種複合命題的真值是通過其構成部分之命題的真值來確定的。下面的表格顯示了相應地五種不同的確定方式:

 

表2

 

p

q

p∧q

p∨q

p→q

  p↔q

T

T

T

T

T

T

T

F

F

T

F

F

F

T

F

T

T

F

F

F

F

F

T

T

表3

 

值得強調的是,表2和表3中所使用的小寫字母p和q,不同於上一節的大寫字母P和Q(在這種情況下,每一個大寫字母代表著一個具體的命題——因此被稱作命題常項),它們表示命題變項——準確來說,命題變項表示其佔據一個應當填入命題的位置,在其上我們可以填入任意一個命題。所以表2和表3一般性地描述了五個真值函數連接詞是如何通過其構成命題來確定複合命題之真值的方式的,因為這裡的p和q可以代表任意一個命題。另外,我們把合取命題中的p和q稱作合取支,析取命題中的則為析取支,實質蘊涵和實質等值命題中的p為前件q為後件。

 

表2和表3所確定的五種真值函數運算可以簡單複述如下:

 

第一:否定命題是把真命題映射到假命題,而把假命題映射到真命題;

第二:合取命題的兩個合取支均為真時,整個合取命題為真,否則為假;

第三:析取命題的兩個析取支均為假時,整個析取命題為假,否則為真;

第四:實質蘊涵命題只有在前件真後件假時為假,否則為真;

第五:實質等值命題在前件和後件具有相同真值時為真,否則為假。


相關焦點

  • 五個真值函數連接詞,形成規則和對該語言的翻譯
    這種可訪問的,對符號邏輯的簡短介紹包括對句子和謂詞邏輯,翻譯,真值表和派生的覆蓋。作者的引人入勝的風格使其成為形式邏輯的最非正式的介紹。對於不熟悉數學或正式系統的讀者,可以通過對話,易於理解的方式解釋主題,並且作者提供耐心,易於閱讀的解釋 - 即使偶爾也會有點幽默。
  • 邏輯AND函數的切換表示和功能真值表
    打開APP 邏輯AND函數的切換表示和功能真值表 發表於 2019-06-23 09:50:04 例如, A + A = A 而不是 2A ,因為它在普通代數中。布爾代數是一種表示標準邏輯門的切換動作的簡單有效的方法,這裡涉及的基本邏輯語句由 AND 的邏輯門操作給出, OR 和 NOT 門函數。 邏輯AND函數 邏輯AND函數函數指出兩個或必須一起發生更多事件,同時發生輸出操作。這些操作發生的順序並不重要,因為它不會影響最終結果。
  • 2.5 真值表技術
    有了對真值函數聯結詞及其真值表,以及如何進行命題邏輯的符號化的初步理解,接下來我們便可應用「真值表」這項技術來探究一些有意思的話題
  • 蘊涵真值表的理解
    2、蘊涵真值表 真值表一般是比較直觀的。蘊涵的真值表的前2行與現實生活較貼合,比較好理解,但後2行則不太容易理解。因此下面我們將對後兩行進行闡述。因此可能的真值表如下:表一:考慮表一,增加1,條件不能滿足,故表二不能作為蘊涵真值表。
  • 【離散數學 | 數理邏輯之命題邏輯】命題公式、解釋與真值表
    【離散數學 | 數理邏輯之命題邏輯】命題公式、解釋與真值表「內容整理自:1、傅彥版《離散數學及其應用》;2、電子科技大學王麗傑老師的授課:https
  • 批判性思維訓練 | 第9課:演繹論證之真值函數邏輯 ( truth-functional logic )
    最早探索真值函數邏輯的是斯多葛學派,該學派活躍於公元前3世紀到公元前2世紀。
  • 異或門基礎知識(邏輯表達式_真值表_符號_應用)
    打開APP 異或門基礎知識(邏輯表達式_真值表_符號_應用) 網絡整理 發表於 2020-11-19 16:06:26 異或門真值表
  • 三輸入異或門真值表計算詳解
    打開APP 三輸入異或門真值表計算詳解 發表於 2017-11-20 09:18:20   異或門的邏輯表達式:Y=ABC+ABC+ABC+ABC=A⊕B⊕C   進一步可得到一位比較器的真值表:
  • 數字比較器真值表及電路-電子發燒友網
    打開APP 數字比較器真值表及電路 發表於 2019-06-22 10:36:29 身份比較器 -an 身份比較器是一個數字比較器,當 A = B 時,只有一個輸出端子, A = B = 1 (HIGH)或 A = B = 0 (LOW) 2。幅度比較器 -a 幅度比較器是一個數字比較器,有三個輸出端子,每個端子相等, A = B 大於, A> B 且小於 A 數字比較器的目的是比較一組變量或未知數字,例如 A (A1,A2,A3,...
  • vlookup函數的使用方法,含查找多值、以某字開頭的值與近似匹配
    vlookup 是 Excel 中常用的函數之一,它用於查找指定值所對應的另一個值,特別是表格記錄非常多時,用它很快就可以找到想查找的值。用vlookup函數查找時,既可以精確匹配又可以近似匹配。2、查找區域:用於指定查找範圍,例如 A2:D10。3、返回值所在列號:用於指定返回值在哪列,列號開始必須從指定範圍算起;例如指定範圍為 B2:E8,則 B 列為第一列,若返回值所在列號為 3,則從 D 列中返回值。
  • 函數複雜不要緊,單調尋值才是真——含複雜函數的不等式
    ,先上題:看看這個函數,複雜吧?這個題目含有一個看似非常複雜的函數,它既不是奇函數也不是偶函數,求導也非常不方便,畫圖也不好使,上邊一部分不知道如何畫!那是不是就沒辦法解了呢?該函數的上邊一部分是兩段函數的組合,前面一段是由一個反比例函數平移得到的函數,為減函數;後面一段是一個複合函數,內減外增,也為減函數,故上邊一部分整體依然為減函數,下面一部分是開口向下的二次函數,不難發現,對稱軸在其區間左側,所以下邊也是減函數;再又上邊一部分在1處函數值大於下邊一部分在1處的函數值,綜合來說整個函數是減函數。
  • 真值表
    邏輯判斷是編程中極為常用的知識。
  • 74ls32引腳圖及功能真值表和特性參數
    打開APP 74ls32引腳圖及功能真值表和特性參數 發表於 2018-04-09 14:37:55 74LS32器件包含4路獨立的2輸入或門。
  • 74ls374引腳圖及功能真值表
    打開APP 74ls374引腳圖及功能真值表 發表於 2017-10-23 15:07:14   74ls374引腳圖及功能真值表八上升沿D觸發器(3S,時鐘輸入有迴環特性)簡要說明:374為具有三態輸出的八D邊沿觸發器,共有54/74S374和54/74LS374兩種線路結構型式,其主要電器特性的典型值如下(不同廠家具體值有差別):型號fmPD54S374/74S374100MHz450mW54LS374/74LS37450MHz135mW374的輸出端O0
  • 三角函數值(附三角函數值表)
    (1)特殊角三角函數值   sin0=0   sin30=0.5   sin45=0.7071 二分之根號2   sin60=0.8660   二分之根號3   sin90=1   cos0=1   cos30=0.866025404   二分之根號3
  • 邏輯函數中用於判斷邏輯值的FALSE函數與TRUE函數
    二.TRUE 真,滿足條件的邏輯值 函數定義:用來表示滿足條件的邏輯值TRUE(真),返回值為TRUE.b)可以直接在單元格或公式中鍵入值TRUE,而可以不使用此函數.函數TRUE主要用於與其他電子表格程序兼容. c).當在括號"()"中指定參數時顯示錯誤,使用函數時要注意確認不輸入參數. 備註:1.True在程式語言中代表邏輯值:真。與邏輯值False(假)意義相反。
  • 特殊三角函數值萬能公式(附函數值表)
    特殊三角函數值萬能公式(附函數值表) 高考微信   三角函數特殊值是高中數學學習的重要知識點,新東方網高考網為同學們整理了特殊三角函數值萬能公式
  • 74ls10引腳圖及功能_真值表和特性參數
    打開APP 74ls10引腳圖及功能_真值表和特性參數 發表於 2018-04-09 10:28:57 74ls10是三3輸入與非門,電源電壓=5V。
  • 74ls09引腳圖及功能表_真值表和特性參數
    打開APP 74ls09引腳圖及功能表_真值表和特性參數 發表於 2018-04-09 10:09:41 74ls09為集電極開路輸出的四組2輸入端與門(正邏輯),共有54/7409、54/74S09、54/74LS09三種線路結構型式,其主要電特性的典型值如下:
  • 函數周期表丨篩選丨表&值丨DISTINCT
    DISTINCT函數DISTINCT函數,隸屬於「篩選」類函數。微軟將其劃分為兩種模式,列與表模式。但是白茶覺得微軟哪怕是不區分出來,相信大家也是了解的。返回結果去除重複值的表或列。當表為單列單行時,可以作為值使用。