研究事物间任意性质关系的逻辑推演规律的理论。

关系是指若干事物之间的某种相互联系，它是逻辑学的重要概念之一。

关系逻辑以具有任意性质的关系为其专门研究对象，特别是研究关系的和、关系的积、关系的逆、关系的否定等关系运算，以及各种复合关系的逻辑推演规律等等。

关系逻辑是英国逻辑学家德摩根和美国逻辑学家、哲学家皮尔士首创的，后来，施罗德、罗素等人发展和完善了它。

研究事物间任意性质关系的逻辑推演规律的理论。

关系是指若干事物之间的某种相互联系，它是逻辑学的重要概念之一。

关系逻辑以具有任意性质的关系为其专门研究对象，特别是研究关系的和、关系的积、关系的逆、关系的否定等关系运算，以及各种复合关系的逻辑推演规律等等。

关系逻辑是英国逻辑学家德摩根和美国逻辑学家、哲学家皮尔士首创的，后来，施罗德、罗素等人发展和完善了它。

[1]逻辑通常指人们思考问题,从某些已知条件出发推出合理的结论的规律.　　说某人逻辑性强,就是说他善于推理,能够得出正确的结论.说某人说话不合逻辑,就是说他的推理不正确,得出了错误的结论.　　逻辑有时也指逻辑学.逻辑学是研究推理规律的理论.逻辑学分古典逻辑和现代逻辑.　　逻辑又有演绎逻辑,归纳逻辑,形式逻辑,非形式逻辑等不同类型.　　逻辑推理中的已知条件和结论都是可以判断真假的命题.如果把命题作为最基本的成分,只研究命题推理的规律,就得到命题逻辑.进一步,把命题再细分为谓词,量词就得到谓词逻辑.　　用符号表示命题,谓词,量词,得到符号逻辑.符号逻辑常用来研究数学中的推理,因此也叫数理逻辑.　　二十世纪,数理逻辑发展迅速,它的四个主要分支：集合论,模型论,递归论,证明论已成为数学的重要学科.现代逻辑如模态逻辑,时态逻辑,概率逻辑,量子逻辑,模糊逻辑等各式各样的应用逻辑层出不穷.　　这样一来,逻辑的含义是太丰富了.逻辑已经成为数学,哲学,计算机科学,甚至每一门学科的基础.最基本的逻辑关系有三种:(1)“与”逻辑关系。

可以表述为：“当有关条件A、B、C都具备时，事件F才能发生。

”“与”逻辑可用“逻辑乘法”表示，写作：F=A*B*C。

（2）“或”逻辑关系。

可以表述为：“当有关条件A、B、C中只要有一个或一个以上具备时，事件F就能发生。

”“或”逻辑可用“逻辑加法”表示，写作：F=A+B+C。

（3）“非”逻辑关系。

可以表述为：“当有关条件A成立时，事件F就不发生；A不成立时，F就发生。

”“非”逻辑可用“逻辑求反”或“非运算”表示，写作：F等于A反。