2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
跳至導覽
跳至搜尋
→6.8證明與模型
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 272： | 行 272： | ||
**一致性(consistent) <-> 不是證明不一致。 | **一致性(consistent) <-> 不是證明不一致。 | ||
何時使用模型？何時使用證明？ | |||
{| class="wikitable" | |||
|- | |||
! 敘述 !! 說明是 !! 說明否 | |||
|- | |||
| A是全真句？ || 證明A || 找模式說A是假的 | |||
|- | |||
| A是矛盾句？ || 證明~A || 用模式說明A是真的 | |||
|- | |||
| A是非全真句？ || 用兩個模型，一個說明A真的，另一個說明A是假的。 || 證明A或證明~A | |||
|- | |||
| A和B等同？ || 證明A|-B和B|-A || 用模式說明A和B真僞值不同 | |||
|- | |||
| 命題集合A一致？ || 給模式說明A的所有命題為真 || 從A證明B和~B | |||
|- | |||
| P,∴C valid？ || 證明 P|-C || 給模型說明 P 為真 C 為假。 | |||
|} | |||
==6.9 soundness and completeness== | ==6.9 soundness and completeness== | ||