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