2,728
次編輯
「形式邏輯筆記/第三章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} 第三章 真值表 命題邏輯中，估計值和論元的方法。 ==3.1真值函數連接詞 (trth-funct…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 18： | 行 18： | ||
比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。 | 比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。 | ||
==3.2全真值表 (complete truth table)== | |||
{| class="wikitable" | |||
|- | |||
! 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 | |||
|} | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||