模態(tài)和謂詞邏輯中的演繹后承有多種定義方式。雖然其中多數(shù)是等價的,但它們有各自的優(yōu)缺點。通過在公理系統(tǒng)中區(qū)分兩類規(guī)則,我們給出了一種定義演繹后承的新方法。該方法不僅繼承了已有定義的優(yōu)點,而且可以將模態(tài)和謂詞邏輯中的6種后承概念統(tǒng)一起來。我們還表明,新的定義方式具有教學法上的優(yōu)點。

【文章頁數(shù)】：24 頁


本文編號：4045958