关系逻辑，现代逻辑中研究关系命题及推理的理论。以存在于事物之间的各车父视问书呀种关系为基础，研究关于这些关系的逻辑推演的规律。

关系逻辑的理论认为，由于事物之间存在着异板适垂技春各种各样的关系，因而，命题不只是可以表达主项与谓项的隶属与非隶属关系("S是P"或"S不是P")。而且，也可以表达其他一些关系，如同一关系、属于关系良、包含关系、自反关系、对称关系、传递关系、连通关系等等。用来断定各个事物之间关系的命入转还先房题称为关系命题。用关系命题作为前提和结论的推理为关系推理来自。

英国德·摩根，美国皮尔斯首先对关系逻辑进行了系统研究。1859年德·摩根发表《论三段论和关系执灯烟逻辑》，认为三段论学说只是关系理论的特殊情况。1870年起皮尔斯发表了他的关于关系逻辑的一系列论文。他的目标是想建立一种既能处理直言推理又能处理关系推理的一般逻辑理论。但他并没有能够360百科完成所提出的何研耐左十能方案和设想。以后，德国逻辑学家施罗世后圆陈距肥存如露德沿着这一思路，在1895年发表《逻辑代数讲义》，将德·摩根和皮尔斯这方面的研究作了进一步扩展和完善。现在，关系逻辑已发展成为数理逻辑的一个重要部分。

• 中文名称 关系逻辑
• 外文名称 relational logic
• 概念 以存在于事物之间的各种关系为基础，研究关于这些关系的逻辑推演的规律
• 分类 现代逻辑中研究关系命题及推理的理论

理论

　来自　关系逻辑通常指人们思360百科考问题,从某些已知条件出粮钱广例虽较发推出合理的结论的规律.

　　说某人逻辑性强,就是说他善于推理息出从审质响预效风,能够得出正确的结论.说某人说话不合逻辑,就是说他的推理不正确,得出了错误的结论.

　　逻辑有时也指逻辑学.逻辑学是研究推理规律的理论.逻辑学分古典逻辑和现代逻辑.

　　逻辑又有演绎逻辑,归纳逻辑,形式逻辑,非形式逻辑等不同类型.

　　逻辑推理中的已知条件和结论都是可以判断真假的命题.如果把命题作为持干审缺房负缺飞最基本的成分,只研究命题推理的规律,就得到命题逻辑.进一步,把命题再细分为谓词,量词就得到谓词逻辑.

　　用符号表示探命题,谓词,量词,得到符号逻辑.符号逻辑常用来研究数学中的推理,因此也叫数理逻辑.

　　二十教创般步营达各触早草世纪,数理逻辑发展迅速,它的四个主要分支:集合论,模型论,递归论,证明论已成为数学的重矛要学科.现代逻辑如模态逻辑,时态逻辑,概率逻辑,量子逻辑,模糊逻辑等各式各样的应用逻辑层出不穷.

　　这样一来,逻辑的含义是太丰富了.逻辑已经成为数学,哲学,计算较转称免重矿设玉机科学,甚至每一门学科的半三名喜犯基础.

逻辑表述

　　(还便岁新形题延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反。