發(fā)布時(shí)間：2025-05-15 00:21

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

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


本文編號：4045958