注：公理驗(yàn)證(2)是沒(méi)有寫的，(2)下的內(nèi)容應(yīng)當(dāng)屬于(3)

首先，用形式語(yǔ)言定義了“重言式”“矛盾式”“偶然式”，并了解常見(jiàn)的重言式

其次，理解“語(yǔ)義后承”與“重言式”的關(guān)系

再次，給出三條公理

最后，明白“證明”與“演繹”的關(guān)系

后面的內(nèi)容開(kāi)始枯燥起來(lái)了，要慢慢學(xué)了

接下來(lái)的內(nèi)容主要是"演繹規(guī)則"、“演繹定理”、“可靠性和完全性”等