“不…而…”（“舍…取…”）是汉语常用的一个二元联结词，在形式语言中可以不用联结词，直接使用括号来表达“不…而…”（“舍…取…”）的语法功能。在括号表示法的形式语言中，“( )”有既有结构性功能，也有联结词功能，还有量词功能。基于纯粹的括号表示法，建立了以“舍…取…”作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1，它们与通常的命题逻辑系统和一阶系统等价，具有可靠性和完全性。