2,728
次編輯
「形式邏輯筆記/第三章」修訂間的差異
→3.3使用真值表
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 74： | 行 74： | ||
# tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A ∨ B) → B」）。 | # tautology（全真句），敘述的真值表各列都是「1」（如上表的 vi，即「(A ∨ B) → B」）。 | ||
# contradiction（矛盾句），敘述的真值表各列都是「0」 | # contradiction（矛盾句），敘述的真值表各列都是「0」 | ||
# | #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:邏輯學]] | ||