「形式邏輯筆記/第三章」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
行 20： 行 20：


==3.2全真值表 (complete truth table)==
==3.2全真值表 (complete truth table)==


{| class="wikitable"
{| class="wikitable"
|-
|-
! A !! B !! A&B !! A∨B !! A→B !! A↔B
! A !! ¬A
|-
| 1 || 0
|-
| 0 || 1
|}
 
{| class="wikitable"
|-
! A !! B !! A&B!! A∨B !! A→B !! A↔B
|-
|-
| 1 || 1 || 1 || 1 ||  1 || 1
| 1 || 1 || 1 || 1 ||  1 || 1
行 32： 行 42：
|-
|-
| 0 || 0 || 0 || 0 ||  1 || 1
| 0 || 0 || 0 || 0 ||  1 || 1
|}
===真值表的進一步應用===
{| class="wikitable"
|-
| i || ii || iii || iv || v || vi || vii
|-
! A !! B
| colspan=5 | '''(A  ∨  B) → B'''
|-
| 1 || 1 || 1 || 1 ||  1 ||''' 1''' || 1
|-
| 1 || 0 || 1 || 1 || 0 || '''1''' || 0
|-
| 0 || 1 || 0 || 1 ||  1 || '''1''' || 1
|-
| 0 || 0 || 0 || 0 ||  0 || '''1''' || 0
|}
====推論法====
# 先列出基本命題 A 和 B 的各種組合 i 和 ii。
# i 可推 iii，ii 可推 v 和 vii（照抄）。
# iii 和 v 可推論 iv（交集∨）。
# iv 和 vii 可推論 vi（充分條件→），然後'''vi 就是我們要的答案了'''。
===缺點===
* 要列出所有命題原子的各種真僞組合，如果有 k 的，就要列出 <math>2^k</math> 個，很不經濟。
==3.3使用真值表==
# tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A  ∨  B) → B」）。
# contradiction（矛盾句），敘述的真值表各列都是「0」
#:contigent（部份為真句），敘述的真值表各列「混合0和1」。
#:如下表的 A→¬A（iv）
{| class="wikitable"
| i || ii || iii || iv || v
|-
! A !! ¬A
| colspan=3 | A →  ¬A
|-
| 1 || 0 || 1 || '''0'''  || 0
|-
| 0 || 1 || 0 || '''1''' || 1
|}
|}


於 2022年2月15日 (二) 06:33 的修訂

第三章 真值表

命題邏輯中，估計值和論元的方法。

3.1真值函數連接詞 (trth-functional connective)

複合句的真值，僅依賴於組成的原子命題。

比如：D↔E的真值，是從D和E的真值算出後，再算出。

這樣做的 connective 叫 truth-functional

於命題邏輯裏，所有的邏輯操作子都是 truth-functional。

但並不是所有的形式語言都是 truth-functional。

比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。

3.2全真值表 (complete truth table)

A ¬A
1 0
0 1
A B A&B A∨B A→B A↔B
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1

真值表的進一步應用

i ii iii iv v vi vii
A B (A ∨ B) → B
1 1 1 1 1 1 1
1 0 1 1 0 1 0
0 1 0 1 1 1 1
0 0 0 0 0 1 0

推論法

  1. 先列出基本命題 A 和 B 的各種組合 i 和 ii。
  2. i 可推 iii，ii 可推 v 和 vii（照抄）。
  3. iii 和 v 可推論 iv（交集∨）。
  4. iv 和 vii 可推論 vi（充分條件→），然後vi 就是我們要的答案了。

缺點

  • 要列出所有命題原子的各種真僞組合，如果有 k 的，就要列出 個，很不經濟。

3.3使用真值表

  1. tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A ∨ B) → B」）。
  2. contradiction（矛盾句），敘述的真值表各列都是「0」
    contigent（部份為真句），敘述的真值表各列「混合0和1」。
    如下表的 A→¬A（iv）
i ii iii iv v
A ¬A A → ¬A
1 0 1 0 0
0 1 0 1 1
ForAll X 形式邏輯筆記

第一章 什麼是邏輯 - 第二章 命題邏輯 - 第三章 真值表 - 第四章 量化邏輯 - 第五章 形式語義- 第六章 證明

取自「https://kianting.info/wiki/index.php?title=形式邏輯筆記/第三章&oldid=1299」