不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng)

摘要："不…而…"("舍…取…")是漢語(yǔ)常用的一個(gè)二元聯(lián)結(jié)詞,在形式語(yǔ)言中可以不用聯(lián)結(jié)詞,直接使用括號(hào)來(lái)表達(dá)"不…而…"("舍…取…")的語(yǔ)法功能。在括號(hào)表示法的形式語(yǔ)言中,"()"有既有結(jié)構(gòu)性功能,也有聯(lián)結(jié)詞功能,還有量詞功能。基于純粹的括號(hào)表示法,建立了以"舍…取…"作為初始聯(lián)結(jié)詞的命題邏輯自然推理系統(tǒng)Z1和一階自然推理系統(tǒng)QZ1,它們與通常的命題邏輯系統(tǒng)和一階系統(tǒng)等價(jià),具有可靠性和完全性。