首頁 > 期刊 > 自然科學與工程技術 > 工程科技I > 綜合科技A類綜合 > 湖南科技大學學報·自然科學版 > 不用聯結詞的“舍…取…”型自然推演系統 【正文】
不用聯結詞的“舍…取…”型自然推演系統
杜國平 中國社會科學院哲學研究所; 北京100732
- 括號表示法
- 量詞
- 自然推理系統
摘要："不…而…"("舍…取…")是漢語常用的一個二元聯結詞,在形式語言中可以不用聯結詞,直接使用括號來表達"不…而…"("舍…取…")的語法功能。在括號表示法的形式語言中,"()"有既有結構性功能,也有聯結詞功能,還有量詞功能?；诩兇獾睦ㄌ柋硎痉?建立了以"舍…取…"作為初始聯結詞的命題邏輯自然推理系統Z1和一階自然推理系統QZ1,它們與通常的命題邏輯系統和一階系統等價,具有可靠性和完全性。
- 括號表示法
- 量詞
- 自然推理系統
摘要："不…而…"("舍…取…")是漢語常用的一個二元聯結詞,在形式語言中可以不用聯結詞,直接使用括號來表達"不…而…"("舍…取…")的語法功能。在括號表示法的形式語言中,"()"有既有結構性功能,也有聯結詞功能,還有量詞功能?；诩兇獾睦ㄌ柋硎痉?建立了以"舍…取…"作為初始聯結詞的命題邏輯自然推理系統Z1和一階自然推理系統QZ1,它們與通常的命題邏輯系統和一階系統等價,具有可靠性和完全性。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
我們提供的服務
在線客服
一對一咨詢服務、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環節享受低價，物流進度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >