APP 理論的形式化是通過形式的演繹框架[1]來對理論表達(dá)進(jìn)行抽象的呈現(xiàn),而對于形式的演繹框架,下面給出了完整的定義:1.合式的公式(well-formed-formula,wff)。2.完全可應(yīng)用推理規(guī)則。因此,理論可以通過一階謂詞邏輯的恒等式來進(jìn)行形式化 （本文共 305 字 ） [閱讀本文] >>
海量資源，盡在掌握
理論的形式化是通過形式的演繹框架[1]來對理論表達(dá)進(jìn)行抽象的呈現(xiàn),而對于形式的演繹框架,下面給出了完整的定義:1.合式的公式(well-formed-formula,wff)。2.完全可應(yīng)用推理規(guī)則。因此,理論可以通過一階謂詞邏輯的恒等式來進(jìn)行形式化 （本文共 305 字 ） [閱讀本文] >>
開通會員，享受整站包年服務(wù)
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點擊申訴舉報