2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
→6.8證明與模型
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 284： | 行 284： | ||
| A是非全真句？ || 用兩個模型，一個說明A真的，另一個說明A是假的。 || 證明A或證明~A | | A是非全真句？ || 用兩個模型，一個說明A真的，另一個說明A是假的。 || 證明A或證明~A | ||
|- | |- | ||
| A和B等同？ || 證明A|-B和B|-A || 用模式說明A和B真僞值不同 | | A和B等同？ || <nowiki>證明A|-B和B|-A</nowiki> || 用模式說明A和B真僞值不同 | ||
|- | |- | ||
| 命題集合A一致？ || 給模式說明A的所有命題為真 || 從A證明B和~B | | 命題集合A一致？ || 給模式說明A的所有命題為真 || 從A證明B和~B | ||