首頁 >
期刊 >
人文社會科學(xué) > 社會科學(xué)II > 教育綜合 >
安徽大學(xué)學(xué)報·哲學(xué)社會科學(xué)版 >
基于括號表示法的一階邏輯系統(tǒng) 【正文】
基于括號表示法的一階邏輯系統(tǒng)
杜國平 中國社會科學(xué)院哲學(xué)研究所; 北京100732
- 括號表示法
- 邏輯常項
- 唯一性
- 公式長度
- 一階邏輯系統(tǒng)
摘要：括號表示法是一種在形式語言中以括號來表示各種邏輯常項的符號表示方法。與已有的表示方法不同,它是一種整體表示法。以命題邏輯的形式語言為例,可以證明括號表示法的唯一性定理。在形式語言中,運用括號表示法表達(dá)的公式,其長度比用中置法表達(dá)的公式簡短。運用括號表示法改寫的一階邏輯自然推理系統(tǒng)非常簡潔。括號表示法為研究邏輯常項的推理結(jié)構(gòu)提供了一個非常良好的分析工具。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
安徽大學(xué)學(xué)報·哲學(xué)社會科學(xué)版
- 預(yù)計1-3個月 預(yù)計審稿周期
- 2.66 影響因子
- 教育 快捷分類
- 雙月刊 出版周期
主管單位：安徽省教育廳;主辦單位：安徽大學(xué)
我們提供的服務(wù)
在線客服
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價，物流進(jìn)度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >