數理邏輯之 時態邏輯

  前面說了謂詞邏輯。實際上謂詞邏輯還需要了解的有謂詞邏輯的語義推導和謂詞邏輯的完備性。不過這一塊的概念和思想都很複雜和繁冗，本系列略去。   基於模型是和基於證明相對的。前面我們一直在使用證明，好像看起來還不錯。不過在基於證明的處理中，系統描述是一組（適當的邏輯中的）公式Γ，而規範是另一個公式φ。驗證方法是試圖找到Γ├φ的證明。這需要指導和專業知識。 在基於模型的處理中，系統由適當邏輯的模型M表

>>阅读原文<<