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