制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了普通逻辑思考中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。故而，充分发展了的普通逻辑可以称为“制约逻辑”，制约逻辑体系由语义学、语构学、语用学三者组成，分别研究：客观世界的逻辑结构和逻辑规律；刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则；在指谓同一的原则下符号语言与自然语言的互相翻译。制约逻辑坚持传统形式逻辑的深刻正确的主导思想，继承其全部行之有效的推理格式，并在此基础上，采用现代数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑理论问题，因此，是久盛不哀的传统形式逻辑的现代发展。
    本书可作为高等学校文、理、工科大学生、研究生的逻辑课程的参考书，也可作为有关逻辑、科学方法、计算机学、哲学、数学、语言学、法学等的教学、研究人员以及逻辑科学爱好者的学习参考用书。本书的内客是基本自足的，并不要求读者受过专门的形式逻辑或数理逻辑训练。