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

跳至導覽 跳至搜尋

形式邏輯筆記/第三章 (檢視原始碼)

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

增加 1,005 位元組 、 2022年2月15日 (二) 06:57
→‎3.3使用真值表
行 74： 行 74：
# tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A  ∨  B) → B」）。
# tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A  ∨  B) → B」）。
# contradiction（矛盾句），敘述的真值表各列都是「0」
# contradiction（矛盾句），敘述的真值表各列都是「0」
#:contigent（部份為真句），敘述的真值表各列「混合0和1」。
#contigent（部份為真句），敘述的真值表各列「混合0和1」。
#:如下表的 A→¬A（iv）
#:如下表的 A→¬A（iv）


行 87： 行 87：
| 0 || 1 || 0 || '''1''' || 1  
| 0 || 1 || 0 || '''1''' || 1  
|}
|}
===邏輯等價(logic equivalence)===
兩列的0、1排列順序相同，如底下的 i（A）與 iii（¬¬A）。
{| class="wikitable"
| i || ii || iii
|-
! A !! ¬A | ¬¬A
|-
| 1 || 0 || 1
|-
| 0 || 1 || 0
|}
===一致性(cosistency)===
===驗證性(validity)===
{| class="wikitable"
! A !! B
| colspan=4 標題文字 !! 標題文字 !! 標題文字 !! 標題文字 !! 標題文字 !! 標題文字 !! 標題文字 !! 標題文字
|-
| 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例
|-
| 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例
|-
| 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例
|-
| 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例
|-
| 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例 || 範例
|}


{{ForAllX}}
{{ForAllX}}


[[category:邏輯學]]
[[category:邏輯學]]
取自「https://kianting.info/wiki/w/特殊:手機版差異/1301」

導覽選單